Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

Published 1996

Abstract State Machines : A Method for High-Level System Design and Analysis

by Börger, Egon, Stärk, Robert
Published 2003

Java and the Java Virtual Machine : Definition, Verification, Validation

by Stärk, Robert F., Schmid, Joachim, Börger, Egon
Published 2001

Architecture Design and Validation Methods

Published 2000