Suggested Topics within your search.
Showing 21 - 30 results of 30 for search '', query time: 0.06s Refine Results
  1. 21
    Formal methods for industrial applications : specifying and programming the steam boiler control /

    Formal methods for industrial applications : specifying and programming the steam boiler control /

    Published 1996
    Book
  2. 22
    Static analysis /

    Static analysis /

    Published 1996
    Conference Proceeding Book
  3. 23
    Theorem proving in higher order logics /

    Theorem proving in higher order logics /

    Published 1996
    Conference Proceeding Book
  4. 24
    Formal techniques in real-time and fault-tolerant systems /

    Formal techniques in real-time and fault-tolerant systems /

    Published 1996
    Conference Proceeding Book
  5. 25
    The data parallel programming model : foundations, HPF realization and scientific applications /

    The data parallel programming model : foundations, HPF realization and scientific applications /

    Published 1996
    Book
  6. 26
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1996
    Conference Proceeding Book
  7. 27
    FME'96 : industrial benefit and advances in formal methods /

    FME'96 : industrial benefit and advances in formal methods /

    Published 1996
    Conference Proceeding Book
  8. 28
    Digital signature schemes : general framework and fail-stop signatures /

    Digital signature schemes : general framework and fail-stop signatures / by Pfitzmann, Birgit

    Published 1996
    Book
  9. 29
    Hybrid systems III : verification and control /

    Hybrid systems III : verification and control /

    Published 1996
    Conference Proceeding Book
  10. 30
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1995
    Conference Proceeding Book

Search Tools: