dblp.uni-trier.dewww.uni-trier.de

John A. Chaves

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996
3EEMark 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): 378-389 (1996)
1995
2EEMark 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: 159-168
1991
1 John A. Chaves: Formal Methods at AT&T - An Industrial Usage Report. FORTE 1991: 83-90

Coauthor Index

1Mark A. Ardis [2] [3]
2Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar) [2] [3]
3Peter Mataga [2] [3]
4James Von Olnhausen [2] [3]
5Carlos Puchol [2] [3]
6Mark G. Staskauskas [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)