ASMETA

swMATH39222MaRDI QIDQ54922FDOQ54922

Author name not available (Why is that?)

Official website: https://asmeta.github.io

Source code repository: https://github.com/asmeta/asmeta

Cited In (6)

• A data-flow approach to test multi-agent ASMs
• The ASMETA approach to safety assurance of software systems
• CoMA
• AsmetaSMV
• ASM Workbench
• Coverlipse

This page was built for software: ASMETA