Formal Representation and Analysis of a Near Miss Accident in N Sigma-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 Sigma-labeled calculus.

Saved in:
Bibliographic Details
Published in2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering pp. 311 - 312
Main Authors Mizutani, T., Igarashi, S., Ikeda, Y., Shio, M.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.07.2009
Subjects
Accidents
Airplanes
Automatic control
Belief and decision
Calculus
Computer science
Control systems
Educational institutions
Formal representation and Analysis
Formal verification
Humans
Near miss accident
Software engineering
Time-concerned program systems
Online AccessGet full text

Cover

More Information
Summary: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 Sigma-labeled calculus.
ISBN:076953757X
9780769537573
DOI:10.1109/TASE.2009.25