1
0
0
(1 - 27 von 38
)
TTN On-Line Edition for November 1998
www.qualityweek.com
The Transparent Implementation of Fault Tolerance in the Time-Triggered Architecture by Hermann Kopetz and Dietmar Millinger of TU Vienna, Austria * Formal Verification for Time-Triggered Clock Synchronization by Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke of University of Ulm, Germany 11am: Fault ...
Bibliography generated from /homes/http/htdocs/Projects/W2F/Bibs ...www.auto.tuwien.ac.at › Projects › Bibs
www.auto.tuwien.ac.at
· Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for time-triggered clock synchronization. Dependable ...
SCEAS
sceas.csd.auth.gr
Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner The TYPELAB Specification and ...
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], ...
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe...
books.google.de
In Tommaso Bolognesi and Diego Latella, eds.,Formal Description Techniques and Protocol Specification, Testing and Verification FORTEXIII/PSTVXX 2000, pages 3–18, Pisa, Italy, Oct Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for timetriggered clock synchronization. In Charles ...
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
Full text of "Embedded software : first international workshop ...
archive.org
Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for time- triggered clock synchronization. In Charles B. Weinstock and John ...
| PDF - Scribdwww.scribd.com › document
www.scribd.com
[PSvH99] Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal veri- fication for time-triggered clock synchronization. In Charles B. Weinstock
FORMAL VERIFICATION OF TIME-TRIGGERED SYSTEMS Lee Pike ...
scholarworks.iu.edu
In 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001), pages 343?352, Antibes Juan-les-Pins, October IEEE. [52] Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for time- triggered clock synchronization. In Charles B. Weinstock and John ...
[PDF] Typelab: An Environment for Modular Program Developmenttypeset.io › pdf
typeset.io
influenced by Holger Pfeifer, Harald Ruet3 and Detlef Schwier. Matthias Wagner. Page has contributed a lot to the infrastructure and has implemented ...
Holger Pfeifer - dblpdblp.uni-trier.de › Persons
dblp.uni-trier.de
... Detlef Schwier, Martin Strecker, Matthias Wagner: The TYPELAB Specification and Verification Environment. AMAST 1996: text to speech. [+][–]. Coauthor ...
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 ...
Algebraic Methodology and Software Technology, 5th International...
researchr.org
; The TYPELAB Specification and Verification EnvironmentFriedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner ; Incremental FormalizationBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun ; PROPLANE: A ...
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–
WO A1 - Safe start-up of a network - Google Patentswww.google.com.na › patents
www.google.com.na
[PSvH99] Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for time-triggered clock synchronization. In Charles B. We- instock ...
RISKS DIGEST - Groups - Yahoo
groups.yahoo.com
TU Vienna, Austria * Formal Verification for Time-Triggered Clock Synchronization by Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke of University of
DCCA-7 List of Accepted Papers
www.csl.sri.com
The Transparent Implementation of Fault Tolerance in the Time-Triggered Architecture by Hermann Kopetz and Dietmar Millinger of TU Vienna, Austria; Formal Verification for Time-Triggered Clock Synchronization by Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke of University of Ulm, Germany ...
ISN : [ISN] CFP: 7th IFIP Int'l Working Conf. on Dependa
lists.jammed.com
... and Dietmar Millinger of TU Vienna, Austria * Formal Verification for Time-Triggered Clock Synchronization by Holger Pfeifer, Detlef Schwier, ...
Verification of clock synchronization algorithm (Original Welch ...
sciencedocbox.com
... Synchronization, Fred B. Schneider, Formal Verification for Time-Triggered Clock Synchronization, Holger Pfeifer, Detlef Schwier, Friedrich W. von Henke. 14.
The RISKS Digest Volume 20 Issue 09
catless.ncl.ac.uk
Security risks delay online registration system. Chenxi Wang. Internet speech ... Synchronization by Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke ...
The RISKS Digest Volume 20 Issue 04
catless.ncl.ac.uk
The risks of elbows on the French futures exchange. Steve Bellovin ... Synchronization by Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke ...
SCEAS
sceas.csd.auth.gr
Scientific Colection Evaluator with Advanced Scoring (SCEAS) is an automated ... Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner ...
Alle Infos zum Namen "Detlef Schwier"
sortiert nach Relevanz / Datum