Siirry suoraan sisältöön
Hybrid Systems IV
Tallenna

Hybrid Systems IV

This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.
Painos
1997 ed.
ISBN
9783540633587
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
30.7.1997
Sivumäärä
410