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