Mica

MaRDI QIDQ44646swMATHFDO

Official website http://www.irisa.fr/s4/tools/mica/Mica__A_Modal_Interface_Compositional_Analysis_Library/Introduction.html

Cited in

(4)

• Motras
• MIO Workbench
• A generalised theory of interface automata, component compatibility and error
• A generalised theory of interface automata, component compatibility and error

This page was built for software: Mica