Gå direkte til innholdet
Compositional Verification of Concurrent and Real-Time Systems
Spar

Compositional Verification of Concurrent and Real-Time Systems

Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.
Opplag
Softcover reprint of the original 1st ed. 2002
ISBN
9781461353492
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
26.10.2012
Antall sider
196