rCOS: Refinement of Component and Object Systems

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/11561163_9 ◽

2005 ◽

pp. 183-221 ◽

Cited By ~ 9

Author(s):

Zhiming Liu ◽

He Jifeng ◽

Xiaoshan Li

Download Full-text