Open AccessSecure architecture for information systems in avionics
Author(s) -
Maxime Lastera,
Éric Alata,
Jean Arlat,
Yves Deswarte,
David Powell,
Bertrand Leconte,
Cristina Simache
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , avionics , dependability , bytecode , java , life critical system , software , model checking , embedded system , legacy system , distributed computing , software architecture , software engineering , operating system , programming language , engineering , aerospace engineering