Information Flow for Timed Automata

DOI10.1007/978-3-319-63121-9_1zbMath1431.68079OpenAlexW2737390252WikidataQ59416289 ScholiaQ59416289MaRDI QIDQ5217294

Flemming Nielson, Panagiotis Vasilikos, Hanne Riis Nielson

Publication date: 24 February 2020

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-63121-9_1

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 (2)

Parametric Timed Model Checking for Guaranteeing Timed Opacity ⋮ Secure Guarded Commands

This page was built for publication: Information Flow for Timed Automata