A Method for Formal Verification of Service Interoperability

S. Pokraev, Dick Quartel, Maarten W.A. Steen, M.U. Reichert

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    9 Citations (Scopus)

    Fingerprint Dive into the research topics of 'A Method for Formal Verification of Service Interoperability'. Together they form a unique fingerprint.