On the Verification of Timed Discrete-Event Models

DOI10.1007/978-3-642-40229-6_15zbMath1318.68117OpenAlexW32523102MaRDI QIDQ2842672

Stavros Tripakis, Christos Stergiou, Edward A. Lee, Eleftherios Matsikoudis

Publication date: 16 August 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-40229-6_15

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Modeling for Verification ⋮ Equivalence checking and intersection of deterministic timed finite state machines ⋮ The fixed-point theory of strictly causal functions

This page was built for publication: On the Verification of Timed Discrete-Event Models