Publications de
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
Modeling and Verification of Real-Time Systems using the IF Toolbox
Dans : Modeling and Verification of Real-time Systems. Nicolas Navet, Stefan Merz (Eds.) , Wiley, 10, p. 319-352, janvier 2008.
Accès : http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195
BibTeXMarius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
La boîte à outils IF
Dans : Systèmes Temps Réel: Techniques de description et de vérification. Nicolas Navet (Eds.) , Hermès, 9, p. 293-326, Vol. I, 2006.
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, J. Sifakis
The IF toolset
Dans : SFM-04:RT 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time. Marco Bernardo, Flavio Corradini (Eds.) , Springer-Verlag, p. 237-267, Vol. 3185, LNCS, juin 2004.