Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP.

Dehui Du, Xijiao Xiong

Browse the full COMPSAC paper archive.