scientific article; zbMATH DE number 2013781
From MaRDI portal
Publication:4437059
zbMath1029.68856MaRDI QIDQ4437059
Alexandre Petrenko, Jia le Huo, Nina Yevtushenko
Publication date: 7 December 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (8)
Combining Partial Specifications using Alternating Interface Automata ⋮ Information gain of black-box testing ⋮ Formalization of test experiments ⋮ The complexity of asynchronous model based testing ⋮ Synchronizing Asynchronous Conformance Testing ⋮ Systems with priorities: conformance, testing, and composition ⋮ A Note on an Anomaly in Black-Box Testing ⋮ Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
This page was built for publication: