Compositional parameter synthesis

DOI10.1007/978-3-319-48989-6_4zbMath1427.68180OpenAlexW2550605469MaRDI QIDQ2281626

Harald Ruess, Lăcrămioara Aştefănoaei, Saddek Bensalem, Chih-Hong Cheng, Marius Bozga

Publication date: 3 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-319-48989-6_4

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Distributed parametric model checking timed automata under non-zenoness assumption

This page was built for publication: Compositional parameter synthesis