Mica

swMATH32935MaRDI QIDQ44646FDOQ44646

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: Mica