Agreement between conformance and composition

DOI10.1134/S0361768813060029MaRDI QIDQ2017761zbMATH OpenOpenAlexFDO

Authors 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/s0361768813060029

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Conformance relations for labeled event structures
• The Composition of Event-B Models
• Systems with priorities: conformance, testing, and composition
• Event algebra for transition systems composition application to timed automata
• scientific article; zbMATH DE number 1820089

Cites work

• scientific article; zbMATH DE number 3744561 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 1418452 (Why is no real title available?)
• Formal Approaches to Software Testing
• Formalization of a test experiment. II
• Formalization of test experiments
• Systems with priorities: conformance, testing, and composition

Cited in

(3)

• Event algebra for transition systems composition application to timed automata
• Systems with priorities: conformance, testing, and composition
• The Composition of Event-B Models

This page was built for publication: Agreement between conformance and composition

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