Searching for authors named "Tobe Toben" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
On the expressive power of Live Sequence Charts
- …On the Expressive Power of Live Sequence Charts ⋆ Tobe Toben and Bernd Westphal Carl von Ossietzky…
- Cited by 2 (2 self) – Add To MetaCart
-
T.: The good, the bad and the ugly: Well-formedness of Live Sequence Charts
- … and in project DA 206/7-3 (USE), SPP 1064. 2 Bernd Westphal and Tobe Toben the set of LSCs is the implementation…
- Cited by 1 (1 self) – Add To MetaCart
-
On the expressive power of live sequence charts
- …On the Expressive Power of Live Sequence Charts ⋆ Werner Damm, Tobe Toben, and Bernd Westphal Carl…
- Cited by 2 (0 self) – Add To MetaCart
-
The Rhapsody UML Verification Environment
- …The Rhapsody UML Verification Environment Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd…
- Cited by 14 (6 self) – Add To MetaCart
-
Specification and verification of dynamic communication systems
- … (inschaef@(email omitted);) Max-Planck-Institut für Informatik, 66123 Saarbrücken, Germany Tobe Toben, Bernd…
- Cited by 4 (3 self) – Add To MetaCart
Showing 1 through 5.
