Relaxing b sharing restrictions within CSP||B | 0 | 0.34 | 2012 |
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement | 2 | 0.40 | 2009 |
Développement formel par composants Assemblage et vérification à l'aide de B | 1 | 0.36 | 2008 |
Using CSP||B Components: Application to a Platoon of Vehicles | 5 | 0.49 | 2008 |
Towards Validating a Platoon of Cristal Vehicles Using CSP||B | 3 | 0.40 | 2008 |
BRILLANT: An Open Source and XML-based platform for Rigourous Software Development | 2 | 0.40 | 2005 |
Duration calculus: a real-time semantic for B | 3 | 0.45 | 2004 |