33 search results - page 1 / 7 » fm 2003 |
184
Voted
FM
2003
Springer
15 years 10 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...
142
click to vote
HUC
2003
Springer
15 years 10 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...
157
Voted
FM
2003
Springer
15 years 10 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...
135
click to vote
FM
2003
Springer
15 years 10 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...