scientific article; zbMATH DE number 2086417
From MaRDI portal
Publication:4736872
zbMath1054.93502MaRDI QIDQ4736872
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2285/22850571.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Timed hyperproperties ⋮ Folk theorems on the determinization and minimization of timed automata ⋮ Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems ⋮ MR4UM: a framework for adding fault tolerance to UML state diagrams ⋮ Symbolic synthesis of masking fault-tolerant distributed programs ⋮ Synthesizing bounded-time 2-phase fault recovery ⋮ Synthesis of Non-Interferent Timed Systems ⋮ Non-Interference Control Synthesis for Security Timed Automata ⋮ The complexity of automated addition of fault-tolerance without explicit legitimate states ⋮ A supervisory control method for ensuring the conformance of real-time discrete event systems