Gå direkte til innholdet
Hybrid Systems IV
Spar

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.
Opplag
1997 ed.
ISBN
9783540633587
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
30.7.1997
Antall sider
410