Combining Partial Specifications using Alternating Interface Automata

DOI10.1007/978-3-030-45234-6_23OpenAlexW3020610985MaRDI QIDQ5039544

Ramon Janssen

Publication date: 13 October 2022

Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.08754

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• An algebraic theory of interface automata
• Model-Based Testing of Environmental Conformance of Components
• Alternation
• Formal Approaches to Software Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Combining Partial Specifications using Alternating Interface Automata