Open AccessSafer marine and offshore software with formal-verification-based guidelines
Author(s) -
Lucas Duboc,
Sébastien Flanc,
Florent Kirchner,
Hélène Marteau,
Virgile Prévosto,
Franck Sadmi,
Franck Védrine
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1049/cp.2016.0850
Subject(s) - context (archaeology) , safer , verification and validation , software , software engineering , computer science , software development , systems engineering , engineering , engineering management , computer security , operations management , operating system , paleontology , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom