Modal Interface Automata

DOI10.1007/978-3-642-33475-7_19zbMath1272.68312OpenAlexW1567194393MaRDI QIDQ5891780

Gerald Lüttgen, Walter Vogler

Publication date: 21 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33475-7_19

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A Pre-congruence Format for XY-simulation ⋮ Model-Based Testing

This page was built for publication: Modal Interface Automata