A Framework for Evaluating Specification Methods for Reactive Systems Experience Report - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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):378-389, 1996. [doi]

This author has not been identified. Look up 'Mark A. Ardis' in GoogleThis author has not been identified. Look up 'John A. Chaves' in GoogleThis author has not been identified. Look up 'Lalita Jategaonkar Jagadeesan' in GoogleThis author has not been identified. Look up 'Peter Mataga' in GoogleThis author has not been identified. Look up 'Carlos Puchol' in GoogleThis author has not been identified. Look up 'Mark G. Staskauskas' in GoogleThis author has not been identified. Look up 'James Von Olnhausen' in Google

runs on WebDSL