Open AccessJoint use of static and dynamic software verification techniques: a cross-domain view in safety critical system industries
Author(s) -
Emmanuel Ledinot,
Jean-Paul Blanquart,
Jean-Marc Astruc,
Philippe Baufreton,
JeanLouis Boulanger,
Cyrille Comar,
Hervé Delseny,
Jean Gassino,
Michel Leeman,
Philippe Quéré,
Bertarnd Ricque
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - joint (building) , computer science , domain (mathematical analysis) , software , life critical system , engineering , programming language , structural engineering , mathematical analysis , mathematics