Modeling and Veri of Distributed Real-Time Systems Based on CafeOBJ (2001)

by K frm-eOgata, K Futatsugi
Venue:In: Automated Software Engineering, Proceedings of the 16th International Conference, ASE 2001, IEEE CS