ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications

Kyo Chul Kang, Kwan W. Lee, Ji Y. Lee, Gerard Jounghyun Kim. ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications. Software: Practice and Experience, 28(4):445-462, 1998.

Abstract

Abstract is missing.