Formal Representation and Analysis of a Near Miss Accident in N∑-labeled Calculus

摘要：

A formal verification and analysis of the JAL near miss accident is presented as an example of formal representation of knowledge and belief by N∑-labeled calculus.

作者: Tetsuya Mizutani Shigeru Igarashi Yasuwo Ikeda Masayuki Shio

作者单位: Department of Computer Science, University of Tsukuba, Tsukuba, Japan Mejiro University, Tokyo, Japan College of Community Development, Tokiwa University, Mito, Japan

会议类型: 国际会议

会议名称: Third International Symposium on Theoretical Aspects of Software Engineering TASE 2009(第三届软件工程理论国际研讨会)

会议地点: 天津

会议语种:英文

页码: 311-312

在线出版日期: 2009-07-29（万方平台首次上网日期，不代表论文的发表时间）