Holger Pfeifer und Friedrich - Info zur Person

(1 - 8 von 8

)

The Industrial Communication Technology Handbookgoogle.de

books.google.de

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

Reliability Engineering & System Safety | SAFECOMP 2004, the 23rd...

www.sciencedirect.com

Architecture. Holger Pfeifer, Friedrich W. von Henke. Pages : Download PDF.

PvH07 - Universität Ulm

www.uni-ulm.de

Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture Holger Pfeifer, Friedrich W. von Henke. Reliability Engineering & System Safety

Modular Formal Analysis of the Central Guardian in the Time …

www.bing.com

WebEmail addresses: (Holger Pfeifer), (Friedrich W. von Henke). 1 This research was supported by the European …

Description Logics (DL'04) Preliminary Program

dl.kr.org

Thorsten Liebig, Holger Pfeifer, Friedrich von Henke Reasoning Services for an OWL Authoring Tool: A Requirements Analysis. 19:00 - ? › program

PvH07 - Universität Ulm

www.bing.com

WebHolger Pfeifer, Friedrich W. von Henke. Reliability Engineering & System Safety Volume 92, Issue 11, November 2007, Pages , Nov Special Issue on Safety, Reliability …

CiteSeerX — Modular Formal Analysis of the Central Guardian in the...

citeseerx.ist.psu.edu

author = {Holger Pfeifer and Friedrich W. von Henke}, title = { Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture }, year = { 2007}

CiteSeerX — Formal Verification for Time-Triggered Clock...

citeseerx.ist.psu.edu

author = {Holger Pfeifer and Detlef Schwier and Friedrich W. Von Henke}, title = {Formal Verification for Time-Triggered Clock Synchronization}, year = {1999}

Alle Infos zum Namen "Holger Pfeifer"

Verwandte Suchanfragen zu Holger Pfeifer

Paul Ziemann
Charlotte Pfeifer
Harald Rueß

Gunter Geigemüller

Person "Pfeifer" (26)
Vorname "Holger" (27292)
Name "Pfeifer" (2605)

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

Holger Pfeifer und Friedrich Person-Info