Hybrid Systems: Computation and Control
9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Joao Hespanha
Themen in »Hybrid Systems: Computation and Control«
Scala algorithm algorithms dependable systems dynamical systems embedded systems formal verification hybrid control systems hybrid systems model checking modeling real-time real-time systems stochastic hybrid systems systems analysis
Stimmen zu »Hybrid Systems: Computation and Control«
Details
ISBN: 9783540331704
Verlag: Springer Berlin
Erscheinung: 20.03.2006