Frank Ortmeier - Veröffentlichungen allgemein

(1 - 12 von 15

)

Computer Safety, Reliability, and Security | SpringerLink

link.springer.com

This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in...

theses.fr – Frank Ortmeier

www.theses.fr

Frank Ortmeier

On Efficiently Specifying Models for Model Checking | SpringerLink

link.springer.com

Using formal methods for quality assurance is recommended in many standards for safety critical applications. In most industrial contexts, model checking is...

Integrated Formal Methods for Safety Analysis of Train Systems ...link.springer.com › chapter

link.springer.com

Wolfgang Reif · Frank Ortmeier · Andreas Thums · Gerhard Schellhorn.

Model-Based Multi-objective Safety Optimization | SpringerLink

link.springer.com

It is well-known that in many safety critical applications safety goals are antagonistic to other design goals or even antagonistic to each other. This is a...

Formal Safety Analysis of a Radio-Based Railroad Crossing Using...

link.springer.com

Frank Ortmeier (19); Wolfgang Reif (19); Gerhard Schellhorn (19). Author Affiliations Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität ...

System Analysis and Modeling: Models and Reusability | SpringerLink

link.springer.com

This book constitutes the refereed papers of the proceedings of the 8th International Conference on System Analysis and Modeling, SAM 2014, held in Valencia,...

Formal Modeling and Verification of Systems with Self-x Properties |...

link.springer.com

In this paper we present a case study in formal modeling and verification of systems with self-x properties. The example is a flexible robot production cell...

Introduction to Subject Area “Verification” | SpringerLink

link.springer.com

Over the last two decades the use of software in technical applications has dramatically increased. Almost all real-world systems are now embedded systems...

Using Deductive Cause-Consequence Analysis (DCCA) with SCADE |...

link.springer.com

Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many...

Robotic Task Sequencing Problem: A Survey | SpringerLink

link.springer.com

Today, robotics is an important cornerstone of modern industrial production. Robots are used for numerous reasons including reliability and continuously hi

Verwandte Suchanfragen zu Frank Ortmeier

Michael Vistein
Matthias Trojahn
Gerhard Schellhorn

Wolfgang Reif
Jens Graupmann
Philippe Palanque

Florian Arndt
Alexander Beck
Alwin Hoffmann

Person "Ortmeier" (2)
Vorname "Frank" (79403)
Name "Ortmeier" (176)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Frank Ortmeier