Relating alternating relations for conformance and refinement

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

Ramon Janssen, Frits W. Vaandrager, Jan Tretmans

Publication date: 19 April 2024

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

• An algebraic theory of interface automata
• Liveness in timed and untimed systems
• Model-Based Testing of Environmental Conformance of Components
• Learning I/O Automata
• Formal Approaches to Software Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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