1980 search results - page 52 / 396 » Compositional Model Checking of Real Time Systems |
124
click to vote
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
ICECCS
1998
IEEE
15 years 4 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
ADAEUROPE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
RTAS
2000
IEEE
15 years 4 months ago
2000
IEEE