Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP (1998)

by Hee-hwan Kwak , Insup Lee , Oleg Sokolsky
Citations:2 - 0 self