Cover Image
Read Now

1
by Bowen, Jonathan P., Hinchey, Michael G.
Published 1999
Springer London
Subjects: “...Machine theory...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Transformers in B-GSL -- Probabilistic Termination in B -- Probabilistic Invariants for Probabilistic Machines...”
Cover Image
Read Now

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Communicating B Machines -- Synchronized Parallel Composition of Event Systems in B -- Global and Communicating...”
Cover Image
Read Now

4
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... of an Environmental Model -- Formal Derivation of Finite State Machines for Class Testing -- Tools -- Using B...”
Cover Image
Read Now

5
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Programming Language -- How to Drive a B Machine -- Deriving Software Specifications from Event Based Models...”
Cover Image
Read Now

6
Published 1999
Springer London
Table of Contents: “... Lessons from the Formal Development of a Radiation Therapy Machine Control Program -- 10 Using Formal...”
Cover Image
Read Now

7
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... developing a control program for a radiation therapy machine -- Preliminary evaluation of a formal approach...”
Cover Image
Read Now

8
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... to code: A graphical user interface for a radiation therapy machine -- The French population census...”