Did you mean: automata

search result

Cover von Automated generic integration of flight logbook data into aircraft maintenance systems

Automated generic integration of flight logbook data into aircraft maintenance systems

Year: 2011
Media group: ARTICLE
Cover von Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling

Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling

Year: 2010
Media group: ARTICLE
Cover von An Automated Flow to Map Throughput Constrained Applications to a MPSoC

An Automated Flow to Map Throughput Constrained Applications to a MPSoC

Year: 2011
Media group: ARTICLE
Cover von Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems

Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems

Year: 2024
Media group: OASICS
Cover von Part I.; HCI in Mobility, Transport, and Automotive Systems. Automated Driving and In-Vehicle Experience Design
Second International Conference, MobiTAS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 12212
Media group: MONOGRAPHIE
Cover von Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper)

Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper)

Author: Defilippis, Isabella; Oporto, Sergio; Binder, Walter
Year: 2019
Media group: LIPIcs
Cover von A Framework for Automated HW / SW Co-Verification of SystemC Designs Using Timed Automata
Author: Herber, Paula Search for this author
Year: 2010
Publisher: Berlin, Universität
Media group: DISSERTATION
Cover von Reliability Modelling of Automated Guided Vehicles by the Use of Failure Modes Effects and Criticality Analysis, and Fault Tree Analysis

Reliability Modelling of Automated Guided Vehicles by the Use of Failure Modes Effects and Criticality Analysis, and Fault Tree Analysis

Year: 2016
Media group: OASICS
Cover von ASE

ASE

proceedings
Search for this author
Year: 1997 and following
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von High performance numerical methods and applications; 1
special section : S. 1 - 200
Search for this author
Year: 2001
Publisher: Amsterdam, North-Holland
Count: 1
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0