CoMA

MaRDI QIDQ18820swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=2341639

Cited in

(4)

• The ASMETA approach to safety assurance of software systems
• ASM-based formal design of an adaptivity component for a cloud system
• AsmetaSMV
• ASMETA

This page was built for software: CoMA