PPP (P3): An Estelle-based Probabilistic Partial Protocol verification system

C. M. Huang, J. M. Hsu

Research output: Contribution to journalArticle

Fingerprint Dive into the research topics of 'PPP (P<sup>3</sup>): An Estelle-based Probabilistic Partial Protocol verification system'. Together they form a unique fingerprint.

Engineering & Materials Science