Book Chapters

2006

1. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. La bo\^ite à outils IF pour la modélisation et la vérification de systèmes temps réel. In Systèmes temps réel : Techniques de description et de vérification, Vol. 1, Chap. 9, Traité IC2, série Informatique et systèmes d'information, Hermes, Lavoisier, 2006. (more)