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