Detlef Schwier und Rushby - Info zur Person

(1 - 10 von 13

)

Formal Techniques in Real-Time and Fault-Tolerant Systems: ...google.com

books.google.com

... Detlef Schwier, and Friedrich W. von Henke. Formal verification for time-triggered clock synchronization. In Weinstock and Rushby [72], pages 207–

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th ...books.google.com › books

books.google.de

Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for time-triggered clock synchronization. In Weinstock and Rushby [72], ...

The Industrial Communication Technology Handbookgoogle.com

books.google.com

... Detlef Schwier, and Friedrich W. von Henke. Formal verification for time-triggered clock synchronization. In Charles B. Weinstock and John Rushby, editors ...

Full text of "DTIC ADA : A Formal Methods Workbench for ...archive.org › stream › DTIC_ADA _djvu

archive.org

Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for time-triggered clock synchronization. In Weinstock and Rushby [48], ...

Full text of "Applied formal methods--FM-Trends 98 : International...

archive.org

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

pvs-bib.txt - SRI Internationalpvs.csl.sri.com › papers › pvs-bib › pvs-bib

pvs.csl.sri.com

... Detlef Schwier, and Friedrich W. von Henke. Formal verification for time-triggered clock synchronization. In Charles B. Weinstock and John Rushby, editors ...

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 ...