| |
| 1996 | ||
|---|---|---|
| 2 | EE | Shiu-Kai Chin, John Faust, Joseph Giordano: Formal Methods Applied to Secure Network Engineering. ICECCS 1996: 344-351 |
| 1995 | ||
| 1 | EE | Shiu-Kai Chin, John Faust, Joseph Giordano: Integrating formal methods tools to support system design. ICECCS 1995: 88- |
| 1 | Shiu-Kai Chin | [1] [2] |
| 2 | Joseph Giordano | [1] [2] |