News
Programme Committee | 6th International ABZ Conference ...
www.southampton.ac.uk
Stefan Hallerstede, Aarhus University, Aarhus, Denmark. Tutorial Chairs: Colin Snook, University of Southampton, Southampton, UK. Publicity Chair: Asieh Salehi ... › p...
Supporting Proof in a Reactive Development Environment
www.doc.ic.ac.uk
von F Mehta · Zitiert von: 7 — Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, and Laurent Voisin. An open extensible tool environment for. Event-B. In Z. Liu and J. He, editors, ... › submissions › Mehta
VSTTE'10 Verified Software: Theories, Tools and Experiments
www.macs.hw.ac.uk
• : Michael Jastram, Stefan Hallerstede, Michael Leuschel and Aryldo G Russo Jr. An Approach of Requirements Tracing in Formal Refinement. › vstte10
Workshop zur Digitalisierung mit McKinsey
www.irl.uni-bayreuth.de
— Stefan Hallerstede (5. v. l.), Johannes Burkhardt (rechts) und Dr. Christopher Kühn (6. v. l.) von McKinsey sowie Dr. Marcus Bravidor (links). › news › 2017_07_
sortiert nach Relevanz / Datum