Publisher Correction: Distributed Petri nets for model-driven verifiable robotic applications in ROS
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Publisher Correction: Distributed Petri nets for model-driven verifiable robotic applications in ROS ; day:5 ; month:11 ; year:2024 ; pages:1
Innovations in systems and software engineering ; (5.11.2024), 1
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11334-024-00582-1
- URN
-
urn:nbn:de:101:1-2501232102373.775703249511
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:20 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ebert, Sebastian
- Mey, Johannes
- Schöne, René
- Götz, Sebastian
- Aßmann, Uwe
- SpringerLink (Online service)
Other Objects (12)
Distributed Petri nets for model-driven verifiable robotic applications in ROS
Multi-quality auto-tuning by contract negotiation
Weiterentwicklung eines bruchmechanischen Konzepts zur formzahlfreien Abschätzung der Dauerfestigkeit gekerbter Strukturen am Beispiel verschiedener Sinterstähle
Interkulturelle Kommunikation & Interkulturelles Lernen
Weihnachtsmann & Kita : An den Weihnachtsmann | Weihnachtspostfiliale | 16798 Himmelpfort
Kleinkinder stressfrei wickeln
Lockdown statt (Ge-)Wissen : Wie Deutschland seine Kinder zerstört
Freispielimpuls planen : Schriftliche Vorbereitung zum gezielten Freispielimpuls
Eingewöhnung in der Krippe : Theorien für einen erfolgreichen Start
Blindheit im Kindesalter : Mehr als nur nicht(s) sehen.
Japanische Kultur im Kita-Alltag
Nacktsein in der Kita? Eine Analyse! : eine Debatte, die Eltern und Fachleute beschäftigt.
Distributed Petri nets for model-driven verifiable robotic applications in ROS
Multi-quality auto-tuning by contract negotiation
Weiterentwicklung eines bruchmechanischen Konzepts zur formzahlfreien Abschätzung der Dauerfestigkeit gekerbter Strukturen am Beispiel verschiedener Sinterstähle
Interkulturelle Kommunikation & Interkulturelles Lernen
Weihnachtsmann & Kita : An den Weihnachtsmann | Weihnachtspostfiliale | 16798 Himmelpfort
Kleinkinder stressfrei wickeln
Lockdown statt (Ge-)Wissen : Wie Deutschland seine Kinder zerstört
Freispielimpuls planen : Schriftliche Vorbereitung zum gezielten Freispielimpuls
Eingewöhnung in der Krippe : Theorien für einen erfolgreichen Start
Blindheit im Kindesalter : Mehr als nur nicht(s) sehen.
Japanische Kultur im Kita-Alltag
Nacktsein in der Kita? Eine Analyse! : eine Debatte, die Eltern und Fachleute beschäftigt.
Distributed Petri nets for model-driven verifiable robotic applications in ROS
Multi-quality auto-tuning by contract negotiation
Weiterentwicklung eines bruchmechanischen Konzepts zur formzahlfreien Abschätzung der Dauerfestigkeit gekerbter Strukturen am Beispiel verschiedener Sinterstähle
Interkulturelle Kommunikation & Interkulturelles Lernen
Weihnachtsmann & Kita : An den Weihnachtsmann | Weihnachtspostfiliale | 16798 Himmelpfort
Kleinkinder stressfrei wickeln
Lockdown statt (Ge-)Wissen : Wie Deutschland seine Kinder zerstört
Freispielimpuls planen : Schriftliche Vorbereitung zum gezielten Freispielimpuls
Eingewöhnung in der Krippe : Theorien für einen erfolgreichen Start
Blindheit im Kindesalter : Mehr als nur nicht(s) sehen.
Japanische Kultur im Kita-Alltag