Detlef Schwier - Veröffentlichungen allgemein

(1 - 8 von 8

)

An Overview of Formal Verification for the Time-Triggered...

link.springer.com

Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for time-triggered clock synchronization. In Weinstock and Rushby [72], pages 207– Stefan Poledna. Fault-Tolerant Systems: The Problem of Replica Determinism. The Kluwer International Series in Engineering and ...

Mechanical Verification of Clock Synchronization Algorithms -...

researchr.org

Detlef Schwier, Friedrich W. von Henke. Mechanical Verification of Clock Synchronization Algorithms. In Anders P. Ravn, Hans Rischel, editors, ...

PVS: An Experience Report - SpringerLinklink.springer.com › chapter

link.springer.com

Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for time-triggered clock synchronization. In Rushby [41], pages 193–

Bus Architectures for Safety-Critical Embedded Systems - SpringerLinklink.springer.com › Embedded Software

link.springer.com

· Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for timetriggered clock synchronization. In Charles B ...

PVS: An Experience Report | SpringerLink

link.springer.com

PVS is a comprehensive interactive tool for specification and verification combining an expressive specification language with an integrated suite of tools for...

Algebraic Methodology and Software Technology, 5th International...

researchr.org

Martin Wirsing, Maurice Nivat, editors, Algebraic Methodology and Software ... Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner ...

Verwandte Suchanfragen zu Detlef Schwier

Matthias Wagner
Martin Strecker
Harald Rueß

Holger Pfeifer
Axel Dold
Alexander Seitz

Maria Sorea
Ulrich Mueller
Bastian Seegebarth

Person "Schwier" (1)
Vorname "Detlef" (16737)
Name "Schwier" (249)

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 Detlef Schwier

An Overview of Formal Verification for the Time-Triggered...

Mechanical Verification of Clock Synchronization Algorithms -...

PVS: An Experience Report - SpringerLinklink.springer.com › chapter

Bus Architectures for Safety-Critical Embedded Systems - SpringerLinklink.springer.com › Embedded Software

PVS: An Experience Report | SpringerLink

Algebraic Methodology and Software Technology, 5th International...