Integrated design, simulation, and verification of real-time systems

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]

Abstract

Abstract is missing.