Work

Cyber-physical agent framework in Maude

Year: 2022

Type: other

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

Source: Data Archiving and Networked Services (DANS)

DOI: 10.5281/zenodo.6587173

Author: Lion, Benjamin

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6912905104

Cites:

Cited by: 1

Related to: