Gerhard Schellhorn und Dominik Haneberg - Info zur Person

(1 - 13 von 14

)

DSCI 2011: Dependable Software for Critical Infrastructures

formal.kastel.kit.edu

16: :00, Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif and Gidon Ernst: Simulating a Flash File System with CoreASM and ...

[ ] A Formal Model of a Virtual Filesystem Switch

arxiv.org

Authors:Gidon Ernst (University of Augsburg), Gerhard Schellhorn (University of Augsburg), Dominik Haneberg (University of Augsburg), Jörg ...

Website of Achim D. Brucker - Publikationen HOL-Z 2.0: A Proof...

brucker.ch

editor, = {Dominik Haneberg and Gerhard Schellhorn and Wolfgang Reif},. language, = {USenglish},. month, = {jul},. note, = {Available as Technical Report, ...

[ 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/ :.

wolff

www.lri.fr

In this paper, we present Isabelle/DOF, a novel Document Ontology Framework on top Interactive development of larger and larger proofs increases the demand for In Dominik Haneberg, Gerhard Schellhorn, and Wolfgang Reif, editors, ...

BiBTeX

www.itu.dk

... YEAR = 2002, PUBLISHER = {Institut f\"ur Informatik, Universit\"at Augsburg}, ... EDITOR = {Dominik Haneberg and Gerhard Schellhorn and Wolfgang Reif}, MONTH = oct, ADDRESS = {Tampa Bay, Florida, USA}, AWNO = 0030, AWBI ...

FM2009 Symposium

www.win.tue.nl

Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif. Inferring Mealy Machines. Muzammil Shahbaz, Roland Groz. Formal Management of ...

The User Interface of the KIV Verification System — A System...

cse.cs.ovgu.de

Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt, Kurt Stenzel: The ...

wolff.bib

www.lri.fr

Interactive development of larger and larger proofs increases the demand for ... of OCL 2.3 in HOL}, booktitle = {Proceedings of the 12th Workshop on OCL and editor = {Dominik Haneberg and Gerhard Schellhorn and Wolfgang Reif}, ...

ICSEA07 Awards

www.iaria.org

Submit a Paper. Propose a Workshop. Information for Sponsors. General Information ... Nina Moebius, Dominik Haneberg, Wolfgang Reif, and Gerhard Schellhorn ...

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 Dominik Haneberg Person-Info