Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside...”
Cover Image
Read Now

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Mathematics -- Motivating Study of Formal Methods in the Classroom -- Formal Systems, Not Methods -- A...”
Cover Image
Read Now

4
Published 2002
Springer Berlin Heidelberg
“...The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held...”
Cover Image
Read Now

5
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Cooperation of Formal Methods in an Engineering Based Software Development Process -- Developing Control...”
Cover Image
Read Now

6
Published 1990
Springer London
Table of Contents: “...1 The Formal Methods in Standards Working Group -- 1.1 Terms of reference -- 1.2 Constitution...”
Cover Image
Read Now

7
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Formal Methods in Enterprise Computing -- Unifying Theories of Parallel Programming -- Component...”
Cover Image
Read Now

8
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Component Designs -- Software Architecture for Correct Components Assembly -- Formal Methods in Testing...”
Cover Image
Read Now

9
Published 2003
Springer Berlin Heidelberg
“... engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components...”
Cover Image
Read Now

10
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Lessons from the application of formal methods to the design of a storm surge barrier control...”
Cover Image
Read Now

11
by BUNN., HOWARD.
Published 1978
Birkhäuser
Cover Image
Read Now

12
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Use of Formal Methods -- Verifying Emulation of Legacy Mission Computer Systems -- Improving Safety...”
Cover Image
Read Now

13
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... to reverse engineering using formal methods -- Algebraically provable specification of optimized compilations...”
Cover Image
Read Now

14
Published 1996
Springer Berlin Heidelberg
“... in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported...”
Cover Image
Read Now

15
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Validation -- Using Formal Methods to Serialize Synchronization Events -- An AMBA-ARM7 Formal Verification...”
Cover Image
Read Now

16
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...: Software Model Checking -- Invited Talks -- Engineering Quality Software -- When Can Formal Methods Make a...”
Cover Image
Read Now

17
Published 2004
Springer Berlin Heidelberg
“...Formal methods have been applied successfully to the verification of medium-sized programs...”
Cover Image
Read Now

18
Published 1996
Springer London
Table of Contents: “...I Introduction -- 1 The Object Paradigm -- 2 Formality in Object Technology IT -- II Formal Methods...”
Cover Image
Read Now

19
Published 1993
Springer London
Table of Contents: “... Quality Assurance vs. Quality Control -- 10.3 What Is a Formal Method? -- 10.4 Integration of Formal...”
Cover Image
Read Now

20
Published 1993
Springer London
“...This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods...”