Gå direkt till innehållet
Hybrid Systems IV
Spara

Hybrid Systems IV

Lägsta pris på PriceRunner
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
1997-07-30
Sidor
410