Oded Maler
Oded Maler
4 ספרים במאגר
ספרים
Hybrid systemsOded Maler
Hybrid systems
Oded Maler · 2003
Hybrid and Real-Time SystemsOded Maler
Hybrid and Real-Time Systems
Oded Maler · 1997
Hybrid Systems BiologyOded Maler
Hybrid Systems Biology
Oded Maler · 2016
Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 ProceedingsOded Maler
Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings
Oded Maler · 2009
ספרים משותפים ואוספים
ספרים שבהם Oded Maler מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Computer Aided VerificationAhmed Bouajjani
Computer Aided Verification
Ahmed Bouajjani · 2009
Verification and Synthesis of Hybrid SystemsEugine Asarin
Verification and Synthesis of Hybrid Systems
Eugine Asarin · 2006
Hybrid Systems : Computation and ControlFreek Wiedijk
Hybrid Systems : Computation and Control
Freek Wiedijk · 2003