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]

Abstract

Abstract is missing.