(1 - 6 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 ...
Programme Committee | 6th International ABZ Conference ASM, Alloy, B,...
www.southampton.ac.uk
The 6th International ABZ conference
sortiert nach Relevanz / Datum