Gerhard Schellhorn und Jörg Pfähler - Info zur Person

(1 - 7 von 8

)

Gidon Ernst

people.eng.unimelb.edu.au

(github, with Wolfgang Reif, Gerhard Schellhorn, Jörg Pfähler, Stefan Bodenmüller); KIV: interactive theorem prover and software verification platform (see also ...

Dr. Gerhard Schellhorn - Uni-Augsburgwww.uni-augsburg.de › ... › Team

www.uni-augsburg.de

Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler and Wolfgang Reif Berichte der Fakultät für Angewandte Informatik der Universität Augsburg

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International...

books.google.co.uk

Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software & Systems Engineering University of Augsburg, Germany {ernst ...

[ v1] A Formal Model of a Virtual Filesystem Switch

arxiv.org

DBLP - CS Bibliography. listing | bibtex · Gidon Ernst · Gerhard Schellhorn · Dominik Haneberg · Jörg Pfähler · Wolfgang Reif ...

VSTTE Program - vstte2013

sites.google.com

Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler and Wolfgang Reif. Verification of a Virtual Filesystem Switch Liang Zou ...

Flashix: KIV specifications - Das KIV Systemkiv.isse.de › projects-v8 › archive › flash

kiv.isse.de

Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, and Wolfgang Reif: A ... J. Pfähler, G. Ernst, G. Schellhorn, D. Haneberg, and W. Reif: Formal Specification of an Erase ... The Simulation code is in src/de/uniaugsburg/flashix/ :.

13th International Conference on integrated Formal Methods - Accepted...

ifm2017.di.unito.it

Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif. Modular Verification of Order-Preserving Write-Back Caches. Mark Utting ...

Alle Infos zum Namen "Gerhard Schellhorn"

Verwandte Suchanfragen zu Gerhard Schellhorn

Oleg Travkin
Wolfgang Ahrendt
Wolfgang Reif

Dominik Haneberg
Wolfram Menzel
Christoph Scheben

Maximilian Junker

Person "Schellhorn" (1)
Vorname "Gerhard" (38185)
Name "Schellhorn" (369)

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

Gerhard Schellhorn und Jörg Pfähler Person-Info