%0 Journal Article %1 journals/jacic/NandiganahalliL16 %A Nandiganahalli, Jayaprakash Suraj %A Lee, Sangjin %A Hwang, Inseok %D 2016 %J J. Aerosp. Inf. Syst. %K dblp %N 9 %P 343-356 %T Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction. %U http://dblp.uni-trier.de/db/journals/jacic/jacic13.html#NandiganahalliL16 %V 13

@article{journals/jacic/NandiganahalliL16, added-at = {2022-12-21T00:00:00.000+0100}, author = {Nandiganahalli, Jayaprakash Suraj and Lee, Sangjin and Hwang, Inseok}, biburl = {https://www.bibsonomy.org/bibtex/207255f97a287cf67199ac80f86fe2941/dblp}, ee = {https://doi.org/10.2514/1.I010393}, interhash = {79c8c7e3a91660009728c2f4d443232a}, intrahash = {07255f97a287cf67199ac80f86fe2941}, journal = {J. Aerosp. Inf. Syst.}, keywords = {dblp}, number = 9, pages = {343-356}, timestamp = {2024-04-09T01:13:30.000+0200}, title = {Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction.}, url = {http://dblp.uni-trier.de/db/journals/jacic/jacic13.html#NandiganahalliL16}, volume = 13, year = 2016 }