Languages
Maler, Oded.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Computer aided verification21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Maler, Oded.; SpringerLink (Online service)
(Electronic resources)
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 /
by:
(1998 :); Maler, Oded.; SpringerLink (Online service)
(Electronic resources)
Hybrid and real-time systemsinternational workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings /
by:
(1998 :); Maler, Oded.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Logic Design.
Computer Science.
Real-time data processing
Hybrid computers
Systems biology
Simulation and Modeling.
Computer Communication Networks.
Computational biology
Computational Biology/Bioinformatics.