MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jochen Klose" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Relating LSC Specifications to UML models
by Jochen Klose, Bernd Westphal — 2002 — In Hartmut Ehrig and Martin Grosse-Rhode, editors, Proceedings INT2002- International Workshop on Integration of Specification Techniques for Applications in Engineering
…Relating LSC Specifications to UML models Jochen Klose and Bernd Westphal Universitat Oldenburg…
Cited by 6 (3 self) – Add To MetaCart

Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment
by Werner Damm, Jochen Klose — 2001 — Formal Methods in System Design
… Verification Environment WERNER DAMM damm@(email omitted); OFFIS, Germany JOCHEN KLOSE jochen.klose…
Cited by 11 (1 self) – Add To MetaCart

Secure Decentralized Control of Railway Crossings
by Werner Damm, Gert Döhmen, Jochen Klose — 1999 — Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems
…Secure Decentralized Control of Railway Crossings Werner Damm Gert Dohmen Jochen Klose y…
Cited by 4 (1 self) – Add To MetaCart

Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts
by Jürgen Bohn, Werner Damm, Hartmut Wittke, Jochen Klose, Adam Moik — 2002 — Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002), Society for Design and Process Science (2002
… 798 2145 {damm,wittke}@(email omitted); Jochen Klose 2 Dept. of Computer Science, Carl von Ossietzky…
Cited by 10 (2 self) – Add To MetaCart

Formal verification of LSC’s in the development process
by Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke — 2004 — Integration of Software Specification Techniques for Applications in Engineering, number 3147 in LNCS
… , Werner Damm 1 , Jochen Klose 3 , Bernd Westphal 1 , and Hartmut Wittke 2 1 Carl von Ossietzky Universität…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB