Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Automation
Search without synonyms: keywords:("Automation")
Used synonyms:
- automationstechnik
- automatisation
- automatisierung
- automatisierungssystem
- automatisierungstechnik
-
Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen : EKA 2018 : 02.-03.05.2018 : 15. Fachtagung mit Workshop
TIBKAT | 2018|Keywords: Automatisierungssystem -
16. Fachtagung EKA 2020 - Entwurf Komplexer Automatisierungssysteme: Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen
TIBKAT | 2020|Keywords: Automatisierungssystem -
16. Fachtagung EKA 2020 - Entwurf Komplexer Automatisierungssysteme: Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen
TIBKAT | 2020|Keywords: Automatisierungssystem -
Integration eines roboterassistierten Systems in den Aufbereitungsprozess von flexiblen Endoskopen
Thieme Verlag | 2023|Keywords: Automatisation -
Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen : EKA 2016 : 24.-25.05.2016, 14. Fachtagung mit Tutorium
TIBKAT | 2016|Keywords: Automatisierungssystem -
Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning
TIBKAT | 2020|Keywords: Automatisierungssystem -
A Case Study of Policy Synthesis for Swarm Robotics
TIBKAT | 2020|Keywords: Automatisierungssystem -
Interdisciplinary variability modeling and performance analysis for long-living automation systems
TIBKAT | 2017|Keywords: Automatisierungssystem -
Swarm and Collective Capabilities for Multipotent Robot Ensembles
TIBKAT | 2020|Keywords: Automatisierungssystem -
Centrality-Preserving Exact Reductions of Multi-Layer Networks
TIBKAT | 2020|Keywords: Automatisierungssystem -
Measuring Adaptability and Reliability of Large Scale Systems
TIBKAT | 2020|Keywords: Automatisierungssystem -
FScaFi : A Core Calculus for Collective Adaptive Systems Programming
TIBKAT | 2020|Keywords: Automatisierungssystem -
Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing
TIBKAT | 2020|Keywords: Automatisierungssystem -
Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns
TIBKAT | 2020|Keywords: Automatisierungssystem -
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
TIBKAT | 2020|Keywords: Automatisierungssystem -
Composition of Component Models - A Key to Construct Big Systems
TIBKAT | 2020|Keywords: Automatisierungssystem -
Einfluss moderner Antriebsstränge auf den Energiebedarf automatisierter Fahrzeuge
TIBKAT | 2019|Keywords: Automatisierungssystem -
Modular Regression Verification for Reactive Systems
TIBKAT | 2020|Keywords: Automatisierungssystem -
Automating Software Re-engineering: Introduction to the ISoLA 2020 Track
TIBKAT | 2020|Keywords: Automatisierungssystem -
Forming Ensembles at Runtime: A Machine Learning Approach
TIBKAT | 2020|Keywords: Automatisierungssystem -
Guaranteeing Type Consistency in Collective Adaptive Systems
TIBKAT | 2020|Keywords: Automatisierungssystem -
AAET - Automatisiertes und vernetztes Fahren : Beiträge zum gleichnamigen 19. Braunschweiger Symposium am 14. und 15. März 2018, Stadthalle, Braunschweig
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2018|Keywords: Automatisierungssystem -
AAET - Automatisiertes und Vernetztes Fahren : Beiträge zum gleichnamigen 18. Braunschweiger Symposium vom 8. und 9. Februar 2017, Stadthalle, Braunschweig
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2017|Keywords: Automatisierungssystem -
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
TIBKAT | 2020|Keywords: Automatisierungssystem -
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition
TIBKAT | 2020|Keywords: Automatisierungssystem -
Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History
TIBKAT | 2020|Keywords: Automatisierungssystem -
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations
TIBKAT | 2020|Keywords: Automatisierungssystem -
Leveraging applications of formal methods, verification and validation / Tiziana Margaria, Bernhard Steffen (eds.) ; Part 2: Engineering principles
TIBKAT | 2020|Keywords: Automatisierungssystem -
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning
TIBKAT | 2020|Keywords: Automatisierungssystem -
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification
TIBKAT | 2020|Keywords: Automatisierungssystem -
A Dynamic Logic for Systems with Predicate-Based Communication
TIBKAT | 2020|Keywords: Automatisierungssystem -
Finding Idioms in Source Code Using Subtree Counting Techniques
TIBKAT | 2020|Keywords: Automatisierungssystem -
AAET - Automatisiertes und Vernetztes Fahren : Beiträge zum gleichnamigen 18. Braunschweiger Symposium vom 8. und 9. Februar 2017, Stadthalle, Braunschweig
TIBKAT | 2017|Keywords: Automatisierungssystem -
AAET - Automatisiertes und vernetztes Fahren : Beiträge zum gleichnamigen 19. Braunschweiger Symposium am 14. und 15. März 2018, Stadthalle, Braunschweig
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2018|Keywords: Automatisierungssystem -
A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes
TIBKAT | 2020|Keywords: Automatisierungssystem -
AAET - Automatisiertes und Vernetztes Fahren : Beiträge zum gleichnamigen 18. Braunschweiger Symposium vom 8. und 9. Februar 2017, Stadthalle, Braunschweig
TIBKAT | 2017|Keywords: Automatisierungssystem -
AAET - Automatisiertes und vernetztes Fahren : Beiträge zum gleichnamigen 19. Braunschweiger Symposium am 14. und 15. März 2018, Stadthalle, Braunschweig
TIBKAT | 2018|Keywords: Automatisierungssystem -
The automated rotorcraft: short, mid and long term solutions : Rotorcraft Conference, 6-7 July, 2016, London
TIBKAT | 2016|Keywords: Automatisierungssystem -
AAET - Automatisiertes und Vernetztes Fahren : Beiträge zum gleichnamigen 18. Braunschweiger Symposium vom 8. und 9. Februar 2017, Stadthalle, Braunschweig
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2017|Keywords: Automatisierungssystem
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.