Model checking temporisé - Archive ouverte HAL
Book Sections Year : 2008

Model checking temporisé

Béatrice Bérard
No file

Dates and versions

hal-01299143 , version 1 (07-04-2016)

Identifiers

  • HAL Id : hal-01299143 , version 1

Cite

Béatrice Bérard. Model checking temporisé. Approches formelles des systèmes embarqués communicants, Hermes/Lavoisier, pp.75-103, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1942-7. ⟨hal-01299143⟩
78 View
0 Download

Share

More