A Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA)

Thanh Phuong Nguyen, Ngoc Binh Nguyen. A Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA). In Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, Hanoï Vietnam, 2-5 Février 2004. pages 87-98, 2004. [doi]

Authors

Thanh Phuong Nguyen

This author has not been identified. Look up 'Thanh Phuong Nguyen' in Google

Ngoc Binh Nguyen

This author has not been identified. Look up 'Ngoc Binh Nguyen' in Google