Search results for: Frederic Gervais
Journal of Clinical Pharmacy and Therapeutics > 47 > 6 > 783 - 791
BMC Public Health > 2017 > 17 > 1 > 1-18
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 40-57
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 5. ABZ Short Papers > 338-338
Lecture Notes in Computer Science > Integrated Formal Methods > Session: Applications of B > 207-226
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 201-215
Lecture Notes in Computer Science > Abstract State Machines, Alloy, B and Z > ABZ Short Papers (Abstracts) > 391-391
Regulatory Toxicology and Pharmacology > 2015 > 73 > 1 > 401-412
Formal Aspects of Computing > 2014 > 26 > 5 > 919-941
Journal of Pharmacological and Toxicological Methods > 2010 > 62 > 3 > 196-220
Software & Systems Modeling > 2009 > 8 > 3 > 423-445
Innovations in Systems and Software Engineering > 2008 > 4 > 3 > 285-292