Integrated design, simulation, and verification of real-time systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajive Bagrodia, Chien-Chung Shen. Integrated design, simulation, and verification of real-time systems. In 10th International Conference on Distributed Computing Systems (ICDCS 1991), May 20-24, 1991, Arlington, Texas, USA. pages 164-171, IEEE Computer Society, 1991. [doi]

This author has not been identified. Look up 'Rajive Bagrodia' in GoogleThis author has not been identified. Look up 'Chien-Chung Shen' in Google

runs on WebDSL