Testing real-time systems using determinization techniques for automata over timed domains

DOI10.1007/978-3-030-32505-3_8OpenAlexW2982204721MaRDI QIDQ2279118

Moez Krichen

Publication date: 12 December 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-32505-3_8

zbMATH Keywords

correctnessreal-time systemsdeterminizationmodel-based testingconformance relationautomaton over timed domains

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Testing real-time systems using determinization techniques for automata over timed domains