Did you mean: automata

search result

Cover von Automated Java Challenges' Security Assessment for Training in Industry - Preliminary Results

Automated Java Challenges' Security Assessment for Training in Industry - Preliminary Results

Year: 2021
Media group: OASICS
Cover von Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles

Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles

Author: Eckstein, Lutz
Year: 2020
Media group: OASICS
Cover von Part I.; Intelligent Data Engineering and Automated Learning - IDEAL 2019 Part I
IDEAL 2019 - 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings, Part I
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 11871
Media group: MONOGRAPHIE
Cover von Automated Evaluation of Text and Discourse with Coh-Metrix
Search for this author
Year: 2019
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von User-centered Design for Automated Vehicles: HMIs, User Needs, and Preferences; 2
special issue : pp. 100-187
Search for this author
Year: 2019
Publisher: München, Oldenbourg
i-com
Count: 2
Media group: SPECIAL ISSUE
Cover von Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems

Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems

Year: 2019
Media group: OASICS
Cover von Joint Processing of Language and Visual Data for Better Automated Understanding; 1
pp. 1-27
Search for this author
Year: 2019
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 1
Media group: DAGSTUHL REPORT
Cover von A Hidden Markov Framework to Capture Human–Machine Interaction in Automated Vehicles
article
Search for this author
Year: 2019
Publisher: London, Taylor & Francis
Series: International Journal of Human–Computer Interaction; 2019
Media group: ARTICLE
Cover von Automated Validation and Verification of UML/OCL Models Using Satisfiability Solvers
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Optimizing Society? Ensuring Fairness in Automated Decision-Making (Invited Talk)

Optimizing Society? Ensuring Fairness in Automated Decision-Making (Invited Talk)

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0