Reif Wolfgang und Gerhard - Info zur Person

(1 - 7 von 7

)

OPUS Augsburg - Verifying Smart Card Applications: An ASM Approach ...

opus.bibliothek.uni-augsburg.de

Verifying Smart Card Applications: An ASM Approach. Haneberg, Dominik; Grandy, Holger; Reif, Wolfgang; Schellhorn, Gerhard

Professoren der OVGU: Prof. Ortmeier - Otto-von-Guericke ...

www.uni-magdeburg.de

Habermaier, Axel; Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard The ForMoSA approach to qualitative and ...

Professoren der OVGU: Prof. Ortmeier - Otto-von-Guericke ...

www.uni-magdeburg.de

Habermaier, Axel; Gdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard The ForMoSA approach to qualitative and ...

Safety Analysis of the Height Control System for the Elbtunnel

euromover.cs.uni-magdeburg.de

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas; Hering, Bernhard; Trappschuh, Helmut. Book title: SafeComp Pages:

Reif, Wolfgang - Zentralblatt MATH - ZMATH Online Database ...

www.zentralblatt-math.org

Zbl pre Tofan, Bogdan; Schellhorn, Gerhard; Reif, Wolfgang Formal verification of a lock-free stack with hazard pointers. (English) Cerone, Antonio (ed ...

Prof. Ortmeier

www.ovgu.de

Habermaier, Axel; Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard The ForMoSA approach to qualitative and quantitative ...

Publikationen (19) - fokus: DU

www.fokus-du.de

Habermaier, Axel; Gdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, GerhardThe ForMoSA approach to qualitative and ...

Alle Infos zum Namen "Reif Wolfgang"

Verwandte Suchanfragen zu Reif Wolfgang

Reiter Harald
Michael Kalcher

Person "Wolfgang" (36)
Vorname "Reif" (77)
Name "Wolfgang" (4197)

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

Reif Wolfgang und Gerhard Person-Info