Incremental verification of architecture specification language for real-time systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul. Incremental verification of architecture specification language for real-time systems. In 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA. pages 215-222, IEEE Computer Society, 1997. [doi]

This author has not been identified. Look up 'Jeffrey J. P. Tsai' in GoogleThis author has not been identified. Look up 'A. Prasad Sistla' in GoogleThis author has not been identified. Look up 'Avinash Sahay' in GoogleThis author has not been identified. Look up 'Raymond A. Paul' in Google

runs on WebDSL