CoMA

swMATH6745MaRDI QIDQ18820FDOQ18820

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: CoMA