1
0
0
(1 - 13 von 13
)
Dr. Holger Pfeifer - Universität Ulm
www.uni-ulm.de
At the Institute for Artificial Intelligence, I most recently held a position as Wissenschaftlicher Assistent (German for Scientific Assistant ), and my field of research and teaching was formal modelling and verification. I am interested in applying formal methods, in particular techniques of mechanical theorem proving and model checking, to ...
Formal Techniques in Real-Time and Fault-Tolerant Systems: ...google.de
books.google.de
... Holger Pfeifer. Formal verification of the TTA group membership algorithm. In Tommaso Bolognesi and Diego Latella, editors, Formal Description Techniques ...
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 ...
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th...
books.google.de
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the...
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe...
books.google.com.ua
Holger Pfeifer. Formal verification of the TTA group membership algorithm. In Tommaso Bolognesi and Diego Latella, eds.,Formal Description Techniques and ...
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
Dr. Holger Pfeifer - Ulm University
www.bing.com
At the Institute for Artificial Intelligence, I most recently held a position as Wissenschaftlicher Assistent (German for Scientific Assistant), and my field of research and teaching was formal modelling and verification. I am interested in applying formal methods, in particular techniques of mechanical theorem proving and model checking, to model and analyse various types of systems, with a ...
Formal Methods in the Automotive Domain: The Case of TTA | 15 | Automo
www.taylorfrancis.com
von H Pfeifer · · Zitiert von: 3 — DOI link for Formal Methods in the Automotive Domain: The Case of TTA. Formal Methods in the Automotive Domain: The Case of TTA book. ByHolger Pfeifer. › edit
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 …
CoSim-CPS 2022: 6th Workshop on Formal Co CFP
easychair.org
... Spain - Holger Pfeifer, fortiss GmbH, Germany - Hugo Daniel Macedo, Aarhus University, Denmark - Jörg Brauer, Verified Systems International GmbH, ... › cfp › CoSim...
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}
NASA LaRC Formal Methods Program: SPIDER
shemesh.larc.nasa.gov
Steven Johnson ·, Indiana University ; Roger Kieckhafer ·, Michigan Technological University ; Beth Latronico ·, Carnegie Mellon University ; Holger Pfeifer ·, ... › spi...
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 Harald Rueß Charlotte Pfeifer | Gunter Geigemüller |
Person "Pfeifer" (26) Vorname "Holger" (27292) Name "Pfeifer" (2605) |
sortiert nach Relevanz / Datum