|
Search the dblp DataBase
Samuel Colin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Samuel Colin, Georges Mariano, Vincent Poirriez
Duration Calculus: A Real-Time Semantic for B. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:431-446 [Conf]
- Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:373-382 [Conf]
Towards Validating a Platoon of Cristal Vehicles Using CSP||B. [Citation Graph (, )][DBLP]
Using CSP||B Components: Application to a Platoon of Vehicles. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|