Publication:3126783
From MaRDI portal
zbMath0875.68006MaRDI QIDQ3126783
Publication date: 2 April 1997
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68M01: General theory of computer systems
Related Items
Mathematical analysis of stage-based programmable logic controller, Duration calculus: Logical foundations, Induction in the timed interval calculus, Specification and verification of multimedia synchronization in duration calculus, PLC-automata: A new class of implementable real-time automata, Prefix and Projection onto State in Duration Calculus, Interval Duration Logic, Automatic Verification of Combined Specifications: An Overview, Verification of cooperating traffic agents, Safe Runtime Verification of Real-Time Properties