Oded Maler

Identifiers

Open LibraryOL3182039A

Top Subjects

Science/Mathematics (2)
General Theory of Computing (1)
Programming - Systems Analysis & Design (1)
Congresses (1)
Computer Engineering (1)
Hybrid computers (1)
Computers (1)

Books by Oded Maler

Total count: 5

Hybrid and Real-Time SystemsInternational Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science)1 edition

Springer1997-04-11
Hybrid Systems : Computation and Control6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Springer London, Limited2003-01-01
Verification and Synthesis of Hybrid Systems (Control Engineering)1 edition

Birkhäuser Boston2006-06-01
Computer Aided Verification21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Springer London, Limited2009-01-01
Hybrid Systems BiologySecond International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Springer International Publishing AG2015-01-01