Dieter Nazareth

Publication Activity (10 Years)

Years Active: 1996-2014
Publications (10 Years): 0

Top Topics

Agent Oriented Programming

Rapid Prototyping

Top Venues

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Dominik Hotter, Dieter Nazareth
Verwendungsfähigkeit von Android-CE-Geräten für Car2X-Anwendungen am Beispiel einer Geschwindigkeitsregelung. Echtzeit (2014)
Max Fuchs, Dieter Nazareth, Dirk Daniel, Bernhard Rumpe
BMW-ROOM An Object-Oriented Method for ASCET. CoRR (2014)
Dieter Nazareth, Christian Wurm
Modellbasierte Entwicklung einer Lichtsteuerung für ein Rapid Prototyping System. Echtzeit (2012)
Peter Scholz, Dieter Nazareth
Communication Concepts for Statecharts: A Semantic Foundation. ARTS (1997)
Dieter Nazareth
Specifying Type Systems. ALP (1996)
Dieter Nazareth
The Semantic Treatment of Polymorphic Specification Languages. ALP (1996)
Dieter Nazareth, Tobias Nipkow
Formal Verification of Algorithm W: The Monomorphic Case. TPHOLs (1996)