Systems with priorities: conformance, testing, and composition

DOI10.1134/S0361768809040045zbMath1183.68095OpenAlexW2075936319MaRDI QIDQ1040326

I. B. Bourdonov, A. S. Kossatchev

Publication date: 24 November 2009

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

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

zbMATH Keywords

distributed systemsformal theory of testing

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Theory of software (68N99)

Related Items (3)

Interaction semantics with refusals, divergence, and destruction ⋮ Formalization of a test experiment. II ⋮ Agreement between conformance and composition

Cites Work

• Formalization of test experiments
• A calculus of communicating systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Systems with priorities: conformance, testing, and composition