Publisher Correction: Distributed Petri nets for model-driven verifiable robotic applications in ROS (Innovations in Systems and Software Engineering, (2024), 20, 4, (531-557), 10.1007/s11334-024-00570-5)

Publikation: Spezielle Publikationen/Beiträge › Korrekturen (Errata und Widerrufe) › Begutachtung

Beitragende

Abstract

Innovations in Systems and Software Engineering The Original publication was published with abbreviated title. It should be "Distributed Petri nets for model-driven verifiable robotic applications in ROS". This has been corrected in the original publication.

Details

OriginalspracheEnglisch
Seiten1107
Seitenumfang1
Band21
Ausgabenummer3
FachzeitschriftInnovations in Systems and Software Engineering
PublikationsstatusVeröffentlicht - Sept. 2025
Peer-Review-StatusJa
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.ContributionToPeriodical

Externe IDs

Mendeley 52297f4a-9605-3ec6-8597-a892608b76e7

Schlagworte

ASJC Scopus Sachgebiete