REMM

swMATH3259MaRDI QIDQ15792FDOQ15792

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/h655752111515j4r/fulltext.pdf

Described by source

• Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework

Cited In (1)

• Modelling resilient collaborative multi-agent systems

This page was built for software: REMM