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)
Research output: Contribution to specialist publication › Corrections (errata and retractions) › peer-review
Contributors
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
| Original language | English |
|---|---|
| Pages | 1107 |
| Number of pages | 1 |
| Volume | 21 |
| Issue number | 3 |
| Journal | Innovations in Systems and Software Engineering |
| Publication status | Published - Sept 2025 |
| Peer-reviewed | Yes |
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.ContributionToPeriodical
External IDs
| Mendeley | 52297f4a-9605-3ec6-8597-a892608b76e7 |
|---|