Open AccessA Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification
Author(s) -
David Navarre,
Philippe Palanque,
Rémi Bastide
Publication year - 2004
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , programming language , formal verification , formal description , formal specification , formal methods , software engineering