-
Bayesian three-dimensional reconstruction of toothed whale trajectories: Pass...
International audience -
Classification of errors threats by static analysis, program sclicing and str...
Software validation remains a crucial part in software development process. Two major techniques have improved in recent years, dynamic and static analysis. They have...
