1. FME 1993:
Odense, Denmark Jim Woodcock , Peter Gorm Larsen (Eds.):
FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings.
Lecture Notes in Computer Science 670 Springer 1993, ISBN 3-540-56662-7 Invited Lectures
export record as
dblp key:
Cliff B. Jones :
Reasoning about Interference in an Object-Based Design Method.
1-18
export record as
dblp key:
Industrial Usage Reports
export record as
dblp key:
Anthony Boswell :
Specification and Validation of a Security Policy Model.
42-51
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mikael Hedlund :
The Integration of LOTOS with an Object Oriented Development Method.
73-82
export record as
dblp key:
export record as
dblp key:
Papers
export record as
dblp key:
export record as
dblp key:
Geoff Barrett :
Model Checking in Practice - The T9000 Virtual Channel Processor.
129-147
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Andrew Butterfield :
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics.
216-234
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jeremy Dick ,
Alain Faivre :
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.
268-284
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jonathan Jacky :
Specifying a Safety-Critical Control System in Z.
388-402
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Nigel Ward :
Adding Specification Constructors to the Refinement Calculus.
652-670
export record as
dblp key:
data released under the ODC-BY 1.0 license
