Hybrid Systems: Computation and Control
Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Nancy Lynch
Themen in »Hybrid Systems: Computation and Control«
Hybrid systems automata complexity control theory dynamical systems embedded systems formal specification modeling numerical methods real-time systems robot robotics systems design systems verification verification
Stimmen zu »Hybrid Systems: Computation and Control«
Details
ISBN: 9783540672593
Verlag: Springer Berlin
Erscheinung: 13.03.2000