Searching for authors named "Michael Schenke" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Specification and Transformation of a Gas Burner (IEEE-version)
- …Specification and Transformation of a Gas Burner (IEEE-version) Michael Schenke Date: 5 August…
- Add To MetaCart
-
A Timed Specification Language for Concurrent Reactive Systems
- …A Timed Specification Language for Concurrent Reactive Systems Michael Schenke Universitat…
- Cited by 12 (8 self) – Add To MetaCart
-
Predicative Specification of Timed Processes
- …Predicative Specification of Timed Processes Michael Schenke Universitat Oldenburg Fachbereich…
- Cited by 3 (3 self) – Add To MetaCart
-
Development of Correct Real-Time Systems by Refinement
- …Development of Correct Real-Time Systems by Refinement Habilitationsschrift 1 Michael Schenke 2…
- Cited by 4 (1 self) – Add To MetaCart
-
Specification and Transformation of a Gas Burner (FME-version)
- …Specification and Transformation of a Gas Burner (FME-version) Michael Schenke Date: 5 August…
- Cited by 2 (1 self) – Add To MetaCart
-
A Unifying Framework for Correct Program Construction
- …A Unifying Framework for Correct Program Construction ? Henning Dierks and Michael Schenke e…
- Add To MetaCart
-
Provably Correct Hardware Compilation using Timing Diagrams
- …Provably Correct Hardware Compilation using Timing Diagrams Michael Schenke y and Michael…
- Cited by 2 (0 self) – Add To MetaCart
-
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency
- …Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency Michael…
- Cited by 7 (7 self) – Add To MetaCart
-
Specification and Stepwise Development of Communicating Systems
- …Specification and stepwise development of communicating systems Stephan Rossig Michael Schenke…
- Cited by 10 (7 self) – Add To MetaCart
-
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications
- …We present a transformational approach to the design of real-time systems. The starting point are requirements formulated in a subset of Duration Calculus called implementables and the target are program specifications in a language SL that combines regular expressions with action systems and ti…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
