Research report Japan Advanced Institute of Science and Technology IS-RR-2010-003 (20100420)

 CiNii Books

Modeling of Real-Time System Designs for Parametric Analysis  1-10