2022-05-27
Cyber-physical agent framework in Maude
Publication
Publication
Framework for modeling and analyzing concurrent cyber-physical systems in Maude.
Additional Metadata | |
---|---|
Organisation | Computer Security |
Lion, B. (2022). Cyber-physical agent framework in Maude.
|