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