Explore projects

Supporting information for the article "Is the preauricular sulcus, as defined by Novotný and Bruzek, an indicator of parity: Test using the SIMON identified skeletal collection (Vaud, Switzerland)"

FAST extended release is the sequel of FAST model-checker developped at LSV. This tools has been extended with TaPAS libraries in order to accept plugins for solvers of the Presburger arithmetic.

Bordeaux University Hospital ETL documentation in the context of the European EHDEN project