Experience with Applying Formal Methods to Protocol Specification and System Architecture - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park. Experience with Applying Formal Methods to Protocol Specification and System Architecture. Formal Methods in System Design, 22(2):109-116, 2003. [doi]

This author has not been identified. Look up 'Mani Azimi' in GoogleThis author has not been identified. Look up 'Ching-Tsun Chou' in GoogleThis author has not been identified. Look up 'Akhilesh Kumar' in GoogleThis author has not been identified. Look up 'Victor W. Lee' in GoogleThis author has not been identified. Look up 'Phanindra K. Mannava' in GoogleThis author has not been identified. Look up 'Seungjoon Park' in Google

runs on WebDSL