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.
[ Model-based verification techniques ]
@InCollection{Hermes06,
Author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent and Ober, Iulian},
Title = {La bo{\^i}te {à} outils IF pour la mod{é}lisation et la v{é}rification de syst{è}mes temps r{é}el},
BookTitle = {Systèmes temps r{é}el : Techniques de description et de v{é}rification},
Volume = {1},
Chapter= {9},
Series = {Trait{é} IC2, s{é}rie Informatique et syst{è}mes d'information},
Publisher = {Hermes, Lavoisier},
Year = {2006}
}
Get EndNote Reference (.ref)