Jump to Navigation

Verification support for arinc-653-based avionics software (to appear)

TitleVerification support for arinc-653-based avionics software (to appear)
Publication TypeJournal Article
Year of Publication2010
Authorsde la Cámara, P., R. Castro, M-del-M. Gallardo, and P. Merino
JournalSoftware Testing Verification & Reliability
Date Publishedmar
PublisherWiley & Sons
ISSN0960-0833


Main menu 2

Biblio | by Dr. Radut