Motras

swMATH9240MaRDI QIDQ21227FDOQ21227

Author name not available (Why is that?)

Described by source

• MoTraS: A Tool for Modal Transition Systems and Their Extensions

Cited In (8)

• k-Bounded Petri Net Synthesis from Modal Transition Systems.
• Refinement checking on parametric modal transition systems
• A generalised theory of interface automata, component compatibility and error
• A Generalised Theory of Interface Automata, Component Compatibility and Error
• Logical vs. behavioural specifications
• Compositionality for quantitative specifications
• Nondeterministic modal interfaces
• Modal transition system encoding of featured transition systems

This page was built for software: Motras