An event-based approach for formally verifying runtime adaptive real-time systems
Fredj, Nissaf, Hadj Kacem, Yessine, Abid, MohamedJournal:
The Journal of Supercomputing
DOI:
10.1007/s11227-020-03386-9
Date:
July, 2020
File:
PDF, 3.85 MB
2020