Timed Model Checking - Archive ouverte HAL Access content directly
Book Sections Year : 2009

Timed Model Checking

Béatrice Bérard
No file

Dates and versions

hal-01298307 , version 1 (05-04-2016)

Identifiers

Cite

Béatrice Bérard. Timed Model Checking. Communicating Embedded Systems -- Software and Design, ISTE Publishing / John Wiley, 2009, 978-1-8482-1143-8. ⟨10.1002/9781118558188.ch2⟩. ⟨hal-01298307⟩
55 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More