AsmetaSMV

MaRDI QIDQ28707swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-11811-1_6

Cited in

(4)

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

This page was built for software: AsmetaSMV