Travelled to:
1 × China
Collaborated with:
I.Schinz T.Toben B.Westphal
Talks about:
rhapsodi (1) environ (1) verif (1) uml (1)
Person: Christian Mrugalla
DBLP: Mrugalla:Christian
Contributed to:
Wrote 1 papers:
- SEFM-2004-SchinzTMW #uml #verification
- The Rhapsody UML Verification Environment (IS, TT, CM, BW), pp. 174–183.