Ordered sequence testing criteria for concurrent programs and the support tool

E. Itoh, Y. Kawaguchi, Z. Furukawa, I. Ushijima

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Ordered sequence testing criteria for concurrent programs and the support tool'. Together they form a unique fingerprint.

    Computer Science