Open AccessModelling and verification methodology for control systems
Author(s) -
Nesrine Darragi,
El-Miloudi El-Koursi,
Simon Collart-Dutilleul,
Philippe Bon
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , software portability , software engineering , reuse , systems engineering , interoperability , notation , domain (mathematical analysis) , variety (cybernetics) , verification , process (computing) , functional verification , formal verification , software , engineering , software system , programming language , artificial intelligence , software construction , mathematical analysis , arithmetic , mathematics , waste management , operating system