ASMETA

swMATH39222MaRDI QIDQ54922FDOQ54922

Author name not available (Why is that?)

Cited In (2)

• A data-flow approach to test multi-agent ASMs
• The ASMETA approach to safety assurance of software systems

This page was built for software: ASMETA