Klaus-Dieter Schewe

All books by Klaus-Dieter Schewe

(Displaying 5 Books)

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Yamine Ait Ameur

ABZ 2014 : The Landing Gear Case Study

Frederic Boniol

A Rigorous Semantics for BPMN 2.0 Process Diagrams

Felix Kossak

Correct Software in Web Applications and Web Services

Bernhard Thalheim

Hagenberg Business Process Modelling Method

Felix Kossak