REMM

MaRDI QIDQ15792swMATHFDO

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