Formalization of a test experiment. II

DOI10.1134/S0361768813040026zbMath1323.68042OpenAlexW2041275560MaRDI QIDQ2017757

I. B. Bourdonov, A. S. Kossatchev

Publication date: 23 March 2015

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768813040026

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) 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 (2)

Automatic construction of systems of distributed components from nested Petri nets models ⋮ Agreement between conformance and composition

Cites Work

• Unnamed Item
• Specification completion for IOCO
• Systems with priorities: conformance, testing, and composition

This page was built for publication: Formalization of a test experiment. II