Open AccessModel-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
Author(s) -
Daniela Genius,
Letitia W. Li,
Ludovic Apvrille
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - electronic system level design and verification , computer science , formal verification , formal methods , formal equivalence checking , high level verification , functional verification , embedded system , software engineering , programming language , software , software system , software construction