Sciweavers

Share
AMAST
2008
Springer

Towards Validating a Platoon of Cristal Vehicles Using CSP||B

8 years 4 months ago
Towards Validating a Platoon of Cristal Vehicles Using CSP||B
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles is developed using the combination, named CSP B, of two well-known formal methods. This large
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where AMAST
Authors Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
Comments (0)
books