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.