Specifying and Reasoning about Generic Architecture in TCOZ

Jing Sun, Jin Song Dong. Specifying and Reasoning about Generic Architecture in TCOZ. In 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia. pages 405, IEEE Computer Society, 2002. [doi]

Authors

Jing Sun

This author has not been identified. Look up 'Jing Sun' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google