Work

DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets

Year: 2023

Type: conference-paper

Source: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

DOI: 10.1109/models-c59198.2023.00127

Authors: Sebastian Ebert, Johannes Mey, René Schöne, Sebastian Götz, Uwe Aßmann

Institutions: Centre for Tactile Internet with Human-in-the-Loop, Technische Universität Dresden

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4390117312

FWCI: 1.352

Cites: 36

Cited by: 7

Related to: 10