Architecture Design and Validation Methods

Published 2000

Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Published 2008

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

by Abrial, Jean-Raymond
Published 1996

Computation Theory and Logic

by Börger, Egon
Published 1987

CSL '87 : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

by Börger, Egon
Published 1988

CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

by Börger, Egon
Published 1989

Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

by Börger, Egon
Published 1992

Structures of Computing : A Guide to Practice-Oriented Theory

by Börger, Egon, Gervasi, Vincenzo
Published 2024

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Published 2008

CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Published 1990

Computation Theory and Logic

Published 1987

Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

Published 1994

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

Published 1996

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

Published 1988

CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

Published 1989

Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings

Published 1992

Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Published 1993

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

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

Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

Published 1991

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

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