AsmetaSMV

swMATH16843MaRDI QIDQ28707FDOQ28707

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: AsmetaSMV