Sciweavers

72
Voted
HYBRID
1992
Springer
15 years 1 months ago
A Formal Approach to Computer Systems Requirements Documentation
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
Marcin Engel, Marcin Kubica, Jan Madey, David Lorg...
70
Voted
HYBRID
1992
Springer
15 years 2 months ago
Verifying Hybrid Systems
Zohar Manna, Amir Pnueli
81
Voted
HYBRID
1992
Springer
15 years 2 months ago
An Approach to the Description and Analysis of Hybrid Systems
Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, ...
65
Voted
HYBRID
1992
Springer
15 years 2 months ago
Hybrid Systems in TLA+
Leslie Lamport