3 search results - page 1 / 1 » Formal Verification of Curved Flight Collision Avoidance Man... |
FM
2009
Springer
15 years 5 months ago
2009
Springer
105
click to vote
HYBRID
1998
Springer
15 years 3 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
RTSS
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...