Siirry suoraan sisältöön
Temporal Verification of Reactive Systems
Tallenna

Temporal Verification of Reactive Systems

The family of reactive systems includes many classes of programs whose correct and reliable construction is con­ sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.
Alaotsikko
Safety
ISBN
9781461287018
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
22.8.2012
Sivumäärä
512