Marc Lettrari Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 2003

3 EE Marc Lettrari: Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. FME 2003: 462-481

2002

2 EE Henning Dierks, Marc Lettrari: Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT 2002: 433-454

2001

1 EE Marc Lettrari, Jochen Klose: Scenario-Based Monitoring and Testing of Real-Time UML Models. UML 2001: 317-328

*	2003
3	EE	Marc Lettrari: Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. FME 2003: 462-481
	2002
2	EE	Henning Dierks, Marc Lettrari: Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT 2002: 433-454
	2001
1	EE	Marc Lettrari, Jochen Klose: Scenario-Based Monitoring and Testing of Real-Time UML Models. UML 2001: 317-328

Coauthor Index

1 Henning Dierks [2]

2 Jochen Klose [1]

Colors in the list of coauthors