Marc Lettrari

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Marc Lettrari
Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. FME (2003)
Henning Dierks, Marc Lettrari
Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT (2002)
Marc Lettrari, Jochen Klose
Scenario-Based Monitoring and Testing of Real-Time UML Models. UML (2001)