An event-based approach for formally verifying runtime adaptive real-time systems
Crossref DOI link: https://doi.org/10.1007/s11227-020-03386-9
Published Online: 2020-07-26
Published Print: 2021-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fredj, Nissaf
Hadj Kacem, Yessine
Abid, Mohamed
Text and Data Mining valid from 2020-07-26
Version of Record valid from 2020-07-26
Article History
First Online: 26 July 2020