33 search results - page 1 / 7 » fm 2003 |
FM
2003
Springer
13 years 9 months ago
2003
Springer
FM
2003
Springer
13 years 9 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
HUC
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. One of the main prerequisites for location-based services is knowledge of location. We present a simple algorithm for computing the location of a device based on signal s...
FM
2003
Springer
13 years 9 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
FM
2003
Springer
13 years 9 months ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...