Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft. Kim, S., Nam, W., Kil, H., & Park, M. computational science and engineering, 16(5):96–103, 2014.
doi  bibtex   
@article{kim_formal_2014,
	title = {Formal {Verification} of a {Gravity}-{Induced} {Loss}-of-{Consciousness} {Monitoring} {System} for {Aircraft}},
	volume = {16},
	doi = {10/gh25t9},
	number = {5},
	journal = {computational science and engineering},
	author = {Kim, Seonmo and Nam, Wonhong and Kil, Hyunyoung and Park, Myunghwan},
	year = {2014},
	pages = {96--103},
}

Downloads: 0