scientific article; zbMATH DE number 1746449
From MaRDI portal
Publication:4532080
zbMath0985.68653MaRDI QIDQ4532080
Publication date: 28 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670153
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (6)
An invariant-based approach to the verification of asynchronous parameterized networks ⋮ Robust synthesis for real-time systems ⋮ Model-checking precision agriculture logistics: the case of the differential harvest ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
This page was built for publication:
