Cyber-physical agent framework in Maude

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

Additional Metadata
Persistent URL	doi.org/10.5281/zenodo.6587173
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Lion, B. (2022). Cyber-physical agent framework in Maude. doi:10.5281/zenodo.6587173

Additional Files
View at Zenodo

See Also
inProceedings A rewriting framework for interacting cyber-physical agents B. Lion (Benjamin), F. Arbab (Farhad) and C. Talcott (Carolyn)

Publication