A Refinement Relation for Families of Timed Automata

DOI10.1007/978-3-319-70848-5_11zbMath1498.68134OpenAlexW2767451711MaRDI QIDQ5045465

José Proença, Guillermina Cledou, Luís Soares Barbosa

Publication date: 4 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-70848-5_11

zbMATH Keywords

timed automatarefinementsoftware product lines

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: A Refinement Relation for Families of Timed Automata