Gå direkt till innehållet
Hybrid Systems IV
Spara

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.
Upplaga
1997 ed.
ISBN
9783540633587
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
30.7.1997
Sidor
410