Innovations in Systems and Software Engineering, 1614-5046

Journal

1 - 3 out of 3Page size: 10

Publications

  1. 2010
  2. Published

    A formal nethod (a networked formal method)

    Peter Breuer, 1 Dec 2010, In: Innovations in Systems and Software Engineering. 6, 4, p. 255-268 14 p.

    Research output: Contribution to journal › Article

  3. 2008
  4. Published

    Approximate verification in an open source world

    Peter Breuer, 1 Apr 2008, In: Innovations in Systems and Software Engineering. 4, 1, p. 87-105 19 p.

    Research output: Contribution to journal › Article

  5. 2006
  6. Published

    Symbolic Approximation: An Approach to Verification in the Large

    Peter Breuer, 14 Nov 2006, In: Innovations in Systems and Software Engineering. 2, 3-4, p. 147-163 17 p.

    Research output: Contribution to journal › Article