AsmetaSMV

swMATH16843MaRDI QIDQ28707FDOQ28707

Author name not available (Why is that?)

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