- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Frontiers in Robotics and AI, 4, S. 50-1-50-14
- Classification
-
Biowissenschaften, Biologie
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2018
- Creator
-
Mammen, Sebastian Albrecht von
Wagner, Daniel
Knote, Andreas
Taskin, Umut
- URN
-
urn:nbn:de:bvb:384-opus4-383234
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.03.2025, 11:11 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
- Mammen, Sebastian Albrecht von
- Wagner, Daniel
- Knote, Andreas
- Taskin, Umut
- Universität Augsburg
Time of origin
- 2018
Other Objects (12)
Interactive Verification of Concurrent Systems using Symbolic Execution
Interactive Verification of Statecharts
ISAR: An interactive system for algebraic implementation proofs
Interactive visual analysis of biomolecular simulations
Interactive visualization of assessment data: The software package Mondrian
Spatiotemporal Variability of Precipitation : Measurements - Simulations - Limitations
Interactive graphics: exemplified with real data applications
Support for Interactive Verification of Asbru in KIV
Research, prototyping and product development of interactive simulations
Interactive Transformation Path Generation in Enterprise Architecture Planning
Interactive verification of medical guidelines
Robustness of finite element simulations in densely packed random particle composites
Interactive Verification of Concurrent Systems using Symbolic Execution
Interactive Verification of Statecharts
ISAR: An interactive system for algebraic implementation proofs
Interactive visual analysis of biomolecular simulations
Interactive visualization of assessment data: The software package Mondrian
Spatiotemporal Variability of Precipitation : Measurements - Simulations - Limitations
Interactive graphics: exemplified with real data applications
Support for Interactive Verification of Asbru in KIV
Research, prototyping and product development of interactive simulations
Interactive Transformation Path Generation in Enterprise Architecture Planning
Interactive verification of medical guidelines
Robustness of finite element simulations in densely packed random particle composites
Interactive Verification of Concurrent Systems using Symbolic Execution
Interactive Verification of Statecharts
ISAR: An interactive system for algebraic implementation proofs
Interactive visual analysis of biomolecular simulations
Interactive visualization of assessment data: The software package Mondrian
Spatiotemporal Variability of Precipitation : Measurements - Simulations - Limitations
Interactive graphics: exemplified with real data applications
Support for Interactive Verification of Asbru in KIV
Research, prototyping and product development of interactive simulations
Interactive Transformation Path Generation in Enterprise Architecture Planning
Interactive verification of medical guidelines