John Faust

Publication Activity (10 Years)

Years Active: 1995-1996
Publications (10 Years): 0

Publications

Shiu-Kai Chin, John Faust, Joseph Giordano
Formal Methods Applied to Secure Network Engineering. ICECCS (1996)
Shiu-Kai Chin, John Faust, Joseph Giordano
Integrating formal methods tools to support system design. ICECCS (1995)