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

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio

Browse the full TASE paper archive.