5 treff

reaktive systemer
A practical theory of reactive systems : incremental modeling of dynamic behaviors
Kurki-Suonio, Reino
Bok Engelsk 2005 · Vis mer
Verification of reactive systems : formal methods and algorithms
Klaus Schneider
Bok Engelsk 2004 · Vis mer
Temporal verification of reactive systems. 2. Safety
Manna, Zohar
Bok Engelsk 1995 · Vis mer
Temporal verification of reactive systems. 1. Specification
Manna, Zohar
Bok Engelsk 1992 · Vis mer
The reactive keyboard
John J. Darragh, Ian H. Witten
Bok Engelsk 1992 · Vis mer