John A. Chaves

Publication Activity (10 Years)

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

Publications

Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. IEEE Trans. Software Eng. 22 (6) (1996)
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. ICSE (1995)
John A. Chaves
Formal Methods at AT&T - An Industrial Usage Report. FORTE (1991)