𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal verification of the NASA runway safety monitor

✍ Scribed by Radu I. Siminiceanu; Gianfranco Ciardo

Book ID
106245429
Publisher
Springer
Year
2006
Tongue
English
Weight
547 KB
Volume
9
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Supporting the formal verification of ma
Supporting the formal verification of mathematical texts
✍ Claus Zinn πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 264 KB

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician-machine interaction. Our empirical approach, the analysis of carefully

Formal Verification in the Design of Ges
Formal Verification in the Design of Gestural Interaction
✍ G.J. Doherty; G. Faconti; M. Massink πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 203 KB

This paper shows how formal modelling can be used in the design of a dynamic gesture language defined by sequences of poses. It discusses two models at different levels of abstraction dealing with important usability issues of the language such as ambiguity and overlap in the recognition of gestures