Oded Maler

E252492 UNEXPLORED

Oded Maler is a computer scientist known for his contributions to formal verification, hybrid systems, and real-time systems theory.

Jump to: Referenced by

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Joseph Sifakis notableStudent Oded Maler