scientific article; zbMATH DE number 1515281

MaRDI QIDQ4507811zbMATH OpenFDO

Authors M. V. Andreeva, E. N. Bozhenkova, I. B. Virbitskaite

Publication date 10 October 2000

zbMATH Keywords

real time processessymbolic bisimulationstimed testing relations

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• On Conformance Testing for Timed Systems
• Timed testing of concurrent systems
• Timed testing of concurrent systems
• Testing equivalences of time Petri nets
• Conformance Testing Relations for Timed Systems
• Testing equivalences for real-time event structures
• Conformance testing techniques for timed systems
• Model checking of systems with many identical timed processes
• Modeling Timed Concurrent Systems

Cited in

(12)

• Analysis of equivalence relations of event structures with continuous time
• Unifying behavioral equivalences of timed transition systems
• Timed testing of concurrent systems
• Composition methods for constructing characteristic formulas for dense-time models
• Testing equivalences of time Petri nets
• scientific article; zbMATH DE number 2186290 (Why is no real title available?)
• Testing equivalences for real-time event structures
• Conformance Testing Relations for Timed Systems
• scientific article; zbMATH DE number 1500554 (Why is no real title available?)
• Timed testing of concurrent systems
• scientific article; zbMATH DE number 1372680 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2003

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507811)