Unified Modeling of Active and Reactive Components for Real-Time Systems.

Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan

Browse the full TASE paper archive.