Travelled to:1 × Canada
1 × Italy
Collaborated with:∅ J.Klose
Talks about:scenario (1) abstract (1) reactiv (1) monitor (1) heurist (1) system (1) orient (1) object (1) explor (1) state (1)
Person: Marc Lettrari
DBLP: Lettrari:Marc
Contributed to:
2003
2001Wrote 2 papers:
- FME-2003-Lettrari #abstraction #heuristic #object-oriented #using
- Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems (ML), pp. 462–481.
- UML-2001-LettrariK #modelling #monitoring #realtime #testing #uml
- Scenario-Based Monitoring and Testing of Real-Time UML Models (ML, JK), pp. 317–328.