Pascal Béger
YOU?
Author Swipe
View article: Formal Verification of Graphical Properties of Interactive Systems
Formal Verification of Graphical Properties of Interactive Systems Open
Critical systems, particularly aeronautical systems, contain newly highly interactive devices: for example, the new generation cockpits use sophisticated electronics. They are driven by complex reactive software applications able to react …