Relating alternating relations for conformance and refinement

DOI10.1007/978-3-030-34968-4_14zbMATH Open1540.68059MaRDI QIDQ6536353FDOQ6536353

Authors: Ramon Janssen, F. Vaandrager, Jan Tretmans 

Publication date: 19 April 2024

Recommendations

• scientific article; zbMATH DE number 2209335
• Goodbye ioco
• Unifying input output conformance
• Specification completion for IOCO
• On Conformance Testing for Timed Systems

zbMATH Keywords

interface automataiocoalternating refinementuioco

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Title not available (Why is that?)
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Liveness in timed and untimed systems
• Learning I/O automata
• An algebraic theory of interface automata
• Formal Approaches to Software Testing
• Title not available (Why is that?)
• Model-Based Testing of Environmental Conformance of Components

Cited In (1)

• Goodbye ioco

This page was built for publication: Relating alternating relations for conformance and refinement

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