Information flow for timed automata
type: Item
instance of: scholarly article
title: Information Flow for Timed Automata
zbMATH Open document ID: 1431.68079
DOI: 10.1007/978-3-319-63121-9_1
author: Flemming Nielson
author: Hanne Riis Nielson
author: Panagiotis Vasilikos
published in: Lecture Notes in Computer Science
publication date: 2020-02-24T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7172758
Wikidata QID: Q59416289
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-319-63121-9 1
OpenAlex ID: W2737390252
Recommended article: Secure information release in timed automata
Recommended article: Q3146271
Recommended article: Control and synthesis of non-interferent timed systems
Recommended article: Non-interference control synthesis for security timed automata
Recommended article: Quantifying security for timed process algebras
description: scientific article; zbMATH DE number 7172758