Suggested Topics within your search.
Showing 1 - 4 results of 4 for search '"IFIP"', query time: 0.02s Refine Results
  1. 1
    Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 /

    Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 /

    Published 2002
    Conference Proceeding Book
  2. 2
    Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

    Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

    Published 1995
    Conference Proceeding Book
  3. 3
    IAG JOURNAL

    IAG JOURNAL

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

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

    Published 1996
    Conference Proceeding Book

Search Tools: