scientific article
From MaRDI portal
Publication:2766627
zbMath0986.68519MaRDI QIDQ2766627
Henrik Ejersbo Jensen, Arne Skou, Kim Guldstrand Larsen
Publication date: 13 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
New Results on Timed Specifications ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Compositional Abstraction in Real-Time Model Checking ⋮ Design and Verification of Fault-Tolerant Components ⋮ Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
Uses Software
This page was built for publication:
