Time distance-based computation of the DBM over-approximation of preemptive real-time systems

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 136; p. 100927
Main Author Abdelli, Abdelkrim
Format Journal Article
LanguageEnglish
Published 01.01.2024
Online AccessGet full text

Cover

More Information
ISSN:2352-2208
DOI:10.1016/j.jlamp.2023.100927