Open AccessSPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
Author(s) -
Paul Arberet,
Jean-Paul Bodeveix,
Frédéric Boniol,
Jérémy Buisson,
G Cannenterre,
David Chemouil,
Alexandre Cortier,
Fabien Dagnat,
Francis Dupont,
Mamoun Filali,
Emmanuel Fleury,
J Forget,
G. Garcia,
F Herbreteau,
Eric F. Morand,
Julien Ouy,
Grégoire Sutre,
AnaElena Rugina,
Martin Strecker,
Jean-Pierre Talpin
Publication year - 2010
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , asynchronous communication , spacecraft , software engineering , formal methods , code generation , programming language , software , formal verification , set (abstract data type) , systems engineering , engineering , operating system , aerospace engineering , computer network , key (lock)
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