There is a newer version of the record available.

Published May 27, 2022 | Version v1
Software Open

Cyber-physical agent framework in Maude

Creators

Description

Framework for modeling and analyzing concurrent cyber-physical systems in Maude.

Files

cp-agents.zip

Files (54.8 kB)

Name Size Download all
md5:082e77e5d6bd43c21d2329f95bee2f14
54.8 kB Preview Download