Showing 31 - 34 results of 34 for search '"Formal methods (Computer science)"', query time: 0.02s Refine Results
  1. 31

    Object-oriented systems analysis and design using UML by Bennett, Simon

    Published 2002
    Book

    Object-oriented systems analysis and design using UML
  2. 32

    Dynamic logic by Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

    Published 2000
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource

    Dynamic logic
  3. 33

    On lazy soundness of robustness diagram with loop and time controls by Afable, Mar Elden C.

    Thesis

    On lazy soundness of robustness diagram with loop and time controls
  4. 34

    A matrix representation for the verification of separability of robustness diagrams with loop and time controls by Amancio, Joenne Mied G.

    Thesis

    A matrix representation for the verification of separability of robustness diagrams with loop and time controls

Search Tools: