{"_id":"2E4geAughhPDrMpee","bibbaseid":"kim-nam-kil-park-formalverificationofagravityinducedlossofconsciousnessmonitoringsystemforaircraft-2014","author_short":["Kim, S.","Nam, W.","Kil, H.","Park, M."],"bibdata":{"bibtype":"article","type":"article","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":[{"propositions":[],"lastnames":["Kim"],"firstnames":["Seonmo"],"suffixes":[]},{"propositions":[],"lastnames":["Nam"],"firstnames":["Wonhong"],"suffixes":[]},{"propositions":[],"lastnames":["Kil"],"firstnames":["Hyunyoung"],"suffixes":[]},{"propositions":[],"lastnames":["Park"],"firstnames":["Myunghwan"],"suffixes":[]}],"year":"2014","pages":"96–103","bibtex":"@article{kim_formal_2014,\n\ttitle = {Formal {Verification} of a {Gravity}-{Induced} {Loss}-of-{Consciousness} {Monitoring} {System} for {Aircraft}},\n\tvolume = {16},\n\tdoi = {10/gh25t9},\n\tnumber = {5},\n\tjournal = {computational science and engineering},\n\tauthor = {Kim, Seonmo and Nam, Wonhong and Kil, Hyunyoung and Park, Myunghwan},\n\tyear = {2014},\n\tpages = {96--103},\n}\n\n","author_short":["Kim, S.","Nam, W.","Kil, H.","Park, M."],"key":"kim_formal_2014","id":"kim_formal_2014","bibbaseid":"kim-nam-kil-park-formalverificationofagravityinducedlossofconsciousnessmonitoringsystemforaircraft-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","verification","gravity","induced","loss","consciousness","monitoring","system","aircraft","kim","nam","kil","park"],"title":"Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft","year":2014}