Vol-1463⫷ Vol-1464 ⫸Vol-1465
urn:nbn:de:0074-1464-0


Vol-1464/ewili15_14⫷Vol-1464/ewili15_18
José Rufino

Towards Integration of Adaptability and Non-Intrusive Runtime Verification in Avionic Systems