university website Publications by Year
  • sign in
  • Computer Security /
  • Software
  • Search

B. Lion (Benjamin)

2022-05-27

Cyber-physical agent framework in Maude

Publication

Publication

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
  • View at Publisher


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)

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • Publishing at CWI

    • Open Science Portal
    • Submit Your CWI Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close