- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
In: Taungsband: Internationales Forum Mechatronik 2011, Cham,21.-22. September 2011, S. 179-192
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Dienst
Zelle
Robotik
Roboter
Montagezelle
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg, Augsburg
- (wer)
-
Universität Augsburg, Cluster Mechatronik & Automation
- (wann)
-
2019
- Urheber
- URN
-
urn:nbn:de:bvb:384-opus4-644417
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:45 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Hoffmann, Alwin
- Angerer, Andreas
- Schierl, Andreas
- Vistein, Michael
- Reif, Wolfgang
- Universität Augsburg, Cluster Mechatronik & Automation
Entstanden
- 2019
Ähnliche Objekte (12)
Modellgetriebene Entwicklung sicherer Web Service-Anwendungen
Korrektheit von Spezifikationen und generischen Moduln
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Model-Based Testing for Self-Organization Mechanisms
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Safety Optimization: A combination of fault tree analysis and optimization techniques
Object-Oriented Modeling and Coordination of Mobile Robots
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Serviceorientierte Automatisierung von Roboterzellen: Modularität und Wiederverwendbarkeit von Software in der Robotik
Failure-Sensitive Specification: A formal method for finding failure modes
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
Selbst-organisiertes, trust-bewusstes Supply Demand Management in Smart Grids
Modellgetriebene Entwicklung sicherer Web Service-Anwendungen
Korrektheit von Spezifikationen und generischen Moduln
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Model-Based Testing for Self-Organization Mechanisms
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Safety Optimization: A combination of fault tree analysis and optimization techniques
Object-Oriented Modeling and Coordination of Mobile Robots
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Serviceorientierte Automatisierung von Roboterzellen: Modularität und Wiederverwendbarkeit von Software in der Robotik
Failure-Sensitive Specification: A formal method for finding failure modes
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
Selbst-organisiertes, trust-bewusstes Supply Demand Management in Smart Grids
Modellgetriebene Entwicklung sicherer Web Service-Anwendungen
Korrektheit von Spezifikationen und generischen Moduln
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Model-Based Testing for Self-Organization Mechanisms
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Safety Optimization: A combination of fault tree analysis and optimization techniques
Object-Oriented Modeling and Coordination of Mobile Robots
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Serviceorientierte Automatisierung von Roboterzellen: Modularität und Wiederverwendbarkeit von Software in der Robotik
Failure-Sensitive Specification: A formal method for finding failure modes
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance