Searching for authors named "Hartmut Wittke" – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

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
… Techniques for Train Control Systems“ Jürgen Bohn 1 Werner Damm Hartmut Wittke OFFIS, R&D Division…
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

Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking
by Tom Bienmüller, Udo Brockmeyer, Werner Damm, Gert Döhmen, Claus Eßmann, Hans-Jürgen Holberg, Hardi Hungar, Bernhard Josko, Rainer Schlör, Gunnar Wittich, Hartmut Wittke, Geoffrey Clements, John Rowlands, Eric Sefton
…-Jurgen Holberg 2 , Hardi Hungar 2 , Bernhard Josko 2 , Rainer Schlor 2 , Gunnar Wittich 2 , Hartmut…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 3.

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