scientific article; zbMATH DE number 1418452
From MaRDI portal
Publication:4942008
zbMath0952.68009MaRDI QIDQ4942008
Claude Jard, Thierry Jéron, César Viho, Lénaïck Tanguy
Publication date: 19 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Passive testing with asynchronous communications and timestamps ⋮ Formalization of test experiments ⋮ Timed implementation relations for the distributed test architecture ⋮ Interaction semantics with refusals, divergence, and destruction ⋮ Agreement between conformance and composition ⋮ The complexity of asynchronous model based testing ⋮ Synchronizing Asynchronous Conformance Testing ⋮ Specification completion for IOCO ⋮ A supervisory control method for ensuring the conformance of real-time discrete event systems
Uses Software
This page was built for publication: