Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event- B. Fundamenta Informaticae, pp.1-28, 2007. ,
Using B as a High Level Programming Language in an Industrial Project: Roissy VAL, Formal Specification and Development in Z and B, pp.334-354, 2005. ,
DOI : 10.1007/11415787_20
Operational specification as the basis for rapid prototyping, ACM SIGSOFT Software Engineering Notes, vol.7, issue.5, pp.3-16, 1982. ,
DOI : 10.1145/1006258.1006261
La validation de mod??les Event-B avec le plug-in ProB pour RODIN, Techniques et sciences informatiques, vol.27, issue.8, pp.1065-1084, 2008. ,
DOI : 10.3166/tsi.27.1065-1084
Towards Validating a Platoon of Cristal Vehicles using CSPB, 12th International Conference on Algebraic Methodology and Software Technology number 5140 in LNCS, pp.139-144, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00261630
Using CSPB Components: Application to a Platoon of Vehicles, 13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00286431
Longitudinal and lateral servoing of vehicles in a platoon, Proceedings of Conference on Intelligent Vehicles, pp.41-46, 1996. ,
DOI : 10.1109/IVS.1996.566349
A Discipline of Programming, 1976. ,
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, pp.297-304, 2008. ,
DOI : 10.1109/TASE.2008.39
URL : https://hal.archives-ouvertes.fr/hal-00260577
Animation and model checking of CSP and B using prolog technology, Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001, pp.97-109, 2001. ,
ProB: A Model Checker for B, FME 2003: Formal Methods, LNCS 2805, pp.855-874, 2003. ,
DOI : 10.1007/978-3-540-45236-2_46
B événementiel pour la modélisation du domaine: application au transport, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), p.19, 2009. ,
Transformation Heuristics for Formal Requirements Validation by Animation, 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems, p.16, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00374082
Safe longitudinal platoons of vehicles without communication, 2009 IEEE International Conference on Robotics and Automation, 2008. ,
DOI : 10.1109/ROBOT.2009.5152629
URL : https://hal.archives-ouvertes.fr/inria-00342719
A survey of simulation tools for requirements engineering, 2000. ,
BRAMA: A New Graphic Animation Tool for B Models Formal Specification and Development in B, pp.274-276, 2006. ,
Towards quality requirements via animated formal specifications, Annals of Software Engineering, vol.3, pp.131-155, 1997. ,
DOI : 10.1023/A:1018977602872
Goal-oriented requirements animation, RE '04: Proceedings of the Requirements Engineering Conference, 12th IEEE International, pp.218-228, 2004. ,