Searching for authors named "Hans Rischel" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Design and Prototyping of Real-Time Systems Using CSP and CML
- …Design and Prototyping of Real-Time Systems Using CSP and CML Hans Rischel and Hongyan Sun…
- Cited by 2 (0 self) – Add To MetaCart
-
Development of Safety-Critical Real-Time Systems
- …Development of Safety-Critical Real-Time Systems Hans Rischel 1 , Jorge Cuellar 2 , Simon M…
- Cited by 2 (2 self) – Add To MetaCart
-
Jens Thyge Kristensen, Michael R. Hansen and Hans Rischel
- …, Michael R. Hansen and Hans Rischel Abstract - In the Informatics Programme at the Technical University…
- Add To MetaCart
-
A Theory-Based Introductory Programming Course
- … Rischel Technical University of Denmark, DK-2800 Lyngby fmrh,jtk,rischelg@(email omitted); Abstract - This paper…
- Add To MetaCart
-
A Duration Calculus Semantics for Real-Time Reactive Systems
- …-Rudiger Olderog Michael Schenke Martin Franzle Markus Muller-Olm Burghard von Karger Hans Rischel Date: 17 August…
- Cited by 3 (2 self) – Add To MetaCart
-
The ProCoS Approach to the Design of Real-Time Systems: Linking Different Formalisms
- … Oldenburg, Germany Michael R. Hansen, Anders P. Ravn and Hans Rischel Department of Information Technology…
- Cited by 5 (0 self) – Add To MetaCart
-
Provably Correct Systems
- … Ernst-Rudiger Olderog and Michael Schenke 3 Michael R. Hansen, Anders P. Ravn and Hans Rischel 4 1…
- Cited by 9 (3 self) – Add To MetaCart
-
Provably Correct Systems - FTRTFT'94 Tutorial
- … Computing Laboratory Michael R. Hansen, Anders P. Ravn and Hans Rischel Department of Computer Science…
- Add To MetaCart
Showing 1 through 8.
