Towards integration of adaptability and non-intrusive runtime verification in avionic systems

TitleTowards integration of adaptability and non-intrusive runtime verification in avionic systems
Publication TypeJournal Article
Year of Publication2016
AuthorsRufino, J.
JournalACM SIGBED Review
Volume13
Pagination60–65