Formal Analysis of an Airplane Accident in ::::N::::Sigma-Labeled Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio. Formal Analysis of an Airplane Accident in ::::N::::Sigma-Labeled Calculus. In Hepu Deng, Lanzhou Wang, Fu Lee Wang, Jingsheng Lei, editors, Artificial Intelligence and Computational Intelligence, International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings. Volume 5855 of Lecture Notes in Computer Science, pages 469-478, Springer, 2009. [doi]

This author has not been identified. Look up 'Tetsuya Mizutani' in GoogleThis author has not been identified. Look up 'Shigeru Igarashi' in GoogleThis author has not been identified. Look up 'Yasuwo Ikeda' in GoogleThis author has not been identified. Look up 'Masayuki Shio' in Google

runs on WebDSL