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:
Published in | 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering pp. 311 - 312 |
---|---|
Main Authors | , , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.07.2009
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
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 |