Searching for authors named "Bernhard Josko" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A Visual Formalism for Real Time Requirement Specifications
- …A Visual Formalism for Real Time Requirement Specifications Konrad Feyerabend 1? and Bernhard…
- Cited by 21 (3 self) – Add To MetaCart
-
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML
- … Damm 1 , Bernhard Josko 1 , Amir Pnueli 2 , and Angelika Votintseva 1 1 OFFIS, Oldenburg, Germany {damm,josko…
- Cited by 37 (2 self) – Add To MetaCart
-
A Discrete-Time UML Semantics for Concurrency and Communication in Safety-Critical Applications
- …-Critical Applications Werner Damm a , Bernhard Josko a , Amir Pnueli b , Angelika Votintseva a a OFFIS, Oldenburg…
- Cited by 11 (1 self) – Add To MetaCart
-
A Compositional Real-time Semantics of STATEMATE Designs
- …A Compositional Real-time Semantics of STATEMATE Designs Werner Damm 1 , Bernhard Josko 1…
- Cited by 47 (6 self) – Add To MetaCart
-
Using a Visual Formalism for Design Verification in Industrial Environments
- … , Bernhard Josko 1 and Dieter Werth 2 ? 1 OFFIS , Dept. Embedded Systems Escherweg 2, D--26121 Oldenburg…
- Cited by 4 (1 self) – Add To MetaCart
-
Adding value to automotive models
- …Adding Value to Automotive Models Eckard Böde 1 , Werner Damm 1 , Jarl Høyem 1 , Bernhard Josko 1…
- Cited by 1 (1 self) – Add To MetaCart
-
Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking
- …-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 7.
