Gerhard Schellhorn Person-Info 

( Ich bin Gerhard Schellhorn)

News

(1 - 4 von 6
)

Campus Event Calendar: Gerhard Schellhorn ( in )

domino.mpi-inf.mpg.de
What and Who. Title: Verification of Abstract State Machines. Speaker: Gerhard Schellhorn. coming from: Universität Ulm. Speakers Bio:.

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 ...

Program – SEFM 2018

www.isf.cs.tu-bs.de
FASTLANE Is Opaque – a Case Study in Mechanized Proofs of Opacity. (Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, and ...

iFM 2014

ifm2014.cs.unibo.it
International Conference on Integrated Formal Methods
Dossier exportieren
+1