Seonmo Kim, Wonhong Nam, Hyunyoung Kil, Myunghwan Park. Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft. Computing in Science and Engineering, 16(5):96-103, 2014. [doi]
@article{KimNKP14,
title = {Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft},
author = {Seonmo Kim and Wonhong Nam and Hyunyoung Kil and Myunghwan Park},
year = {2014},
doi = {10.1109/MCSE.2014.31},
url = {http://doi.ieeecomputersociety.org/10.1109/MCSE.2014.31},
researchr = {https://researchr.org/publication/KimNKP14},
cites = {0},
citedby = {0},
journal = {Computing in Science and Engineering},
volume = {16},
number = {5},
pages = {96-103},
}