Skip to main content
Conference Proceedings

MIO workbench: A tool for compositional design with modal input/output interfaces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2011) 6996 LNCS 418-421
DOI: 10.1007/978-3-642-24372-1_30
13Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Modal Input/Output interfaces (MIOs) is a new specification theory for systems communicating via inputs and outputs. The approach combines the advantages of both modal automata and interface automata, two dominant specification theories for component-based design. This paper presents the MIO Workbench that is the first complete implementation of the MIO theory. © 2011 Springer-Verlag.

Cite

CITATION STYLE

APA

Bauer, S. S., Mayer, P., & Legay, A. (2011). MIO workbench: A tool for compositional design with modal input/output interfaces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6996 LNCS, pp. 418–421). https://doi.org/10.1007/978-3-642-24372-1_30

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free