{"_id":"oLexFnCfXFAM58zWb","bibbaseid":"budiyanto-kistijantoro-trilaksono-formalverificationofintegratedmodularavionicsimahealthmonitoringusingtimedautomata-2015","author_short":["Budiyanto, I. B.","Kistijantoro, A. I.","Trilaksono, B. R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of integrated modular avionics (IMA) health monitoring using timed automata","doi":"10/ghv3d2","booktitle":"2015 International Seminar on Intelligent Technology and Its Applications (ISITIA)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Budiyanto"],"firstnames":["Ida","Bagus"],"suffixes":[]},{"propositions":[],"lastnames":["Kistijantoro"],"firstnames":["Achmad","Imam"],"suffixes":[]},{"propositions":[],"lastnames":["Trilaksono"],"firstnames":["Bambang","Riyanto"],"suffixes":[]}],"year":"2015","note":"tex.ids= budiyantoFormalVerificationIntegrated2015a","pages":"291–296","bibtex":"@inproceedings{budiyanto_formal_2015,\n\ttitle = {Formal verification of integrated modular avionics ({IMA}) health monitoring using timed automata},\n\tdoi = {10/ghv3d2},\n\tbooktitle = {2015 {International} {Seminar} on {Intelligent} {Technology} and {Its} {Applications} ({ISITIA})},\n\tpublisher = {IEEE},\n\tauthor = {Budiyanto, Ida Bagus and Kistijantoro, Achmad Imam and Trilaksono, Bambang Riyanto},\n\tyear = {2015},\n\tnote = {tex.ids= budiyantoFormalVerificationIntegrated2015a},\n\tpages = {291--296},\n}\n\n","author_short":["Budiyanto, I. B.","Kistijantoro, A. I.","Trilaksono, B. R."],"key":"budiyanto_formal_2015","id":"budiyanto_formal_2015","bibbaseid":"budiyanto-kistijantoro-trilaksono-formalverificationofintegratedmodularavionicsimahealthmonitoringusingtimedautomata-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","verification","integrated","modular","avionics","ima","health","monitoring","using","timed","automata","budiyanto","kistijantoro","trilaksono"],"title":"Formal verification of integrated modular avionics (IMA) health monitoring using timed automata","year":2015}