- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 2015 12th International Conference on Informatics in Control, Automation and Robotics (ICINCO), 21-23 July 2015, Colmar, France, Volume 2, S. 438-443
- Classification
-
Elektrotechnik, Elektronik
- Event
-
Veröffentlichung
- (where)
-
Augsburg, Setúbal
- (who)
-
Universität Augsburg, SciTePress
- (when)
-
2015
- Creator
- Contributor
-
Filipe, Joaquim
Madani, Kurosh
Gusikhin, Oleg
Sasiadek, Jurek
- DOI
-
10.5220/0005573804380443
- URN
-
urn:nbn:de:bvb:384-opus4-536106
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 PM CET
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
- Angerer, Andreas
- Vistein, Michael
- Hoffmann, Alwin
- Reif, Wolfgang
- Krebs, Florian
- Schönheits, Manfred
- Filipe, Joaquim
- Madani, Kurosh
- Gusikhin, Oleg
- Sasiadek, Jurek
- Universität Augsburg, SciTePress
Time of origin
- 2015
Other Objects (12)
Korrektheit von Spezifikationen und generischen Moduln
Ankernd am Rande der großen Flut : von 1946 bis 2010
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Land im silbernen Licht : vom Mittelalter bis 1945
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
An abstract PPL machine
A functional language to construct proofs
On reverse-engineering the KUKA robot language
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
Korrektheit von Spezifikationen und generischen Moduln
Ankernd am Rande der großen Flut : von 1946 bis 2010
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Land im silbernen Licht : vom Mittelalter bis 1945
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
An abstract PPL machine
A functional language to construct proofs
On reverse-engineering the KUKA robot language
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
Korrektheit von Spezifikationen und generischen Moduln
Ankernd am Rande der großen Flut : von 1946 bis 2010
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Land im silbernen Licht : vom Mittelalter bis 1945
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
An abstract PPL machine
A functional language to construct proofs
On reverse-engineering the KUKA robot language
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