Timeliness runtime verification and adaptation in avionic systems

TitleTimeliness runtime verification and adaptation in avionic systems
Publication TypeJournal Article
Year of Publication2016
AuthorsRufino, J., and I. Gouveia
JournalOSPERT 2016
Pagination37