Jump to Navigation

Model extraction for ARINC 653 based avionics software

TitleModel extraction for ARINC 653 based avionics software
Publication TypeConference Paper
Year of Publication2007
Authorsde la Cámara, P., M-del-M. Gallardo, and P. Merino
Conference NameDragan Bosnacki and Stefan Edelkamp (Eds.). Model Checkin Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007, Proceedigns
Date Publishednov
PublisherSpringer
Conference LocationBerlin


Main menu 2

Biblio | by Dr. Radut