Formalization of a test experiment. II

DOI10.1134/S0361768813040026zbMATH Open1323.68042OpenAlexW2041275560MaRDI QIDQ2017757FDOQ2017757

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

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Specification completion for IOCO
• Systems with priorities: conformance, testing, and composition

Cited In (5)

• Automatic construction of systems of distributed components from nested Petri nets models
• Test suite reduction in conformance testing
• Title not available (Why is that?)
• Agreement between conformance and composition
• Title not available (Why is that?)

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

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