Formal verification of integrated modular avionics (IMA) health monitoring using timed automata. Budiyanto, I. B., Kistijantoro, A. I., & Trilaksono, B. R. In 2015 International Seminar on Intelligent Technology and Its Applications (ISITIA), pages 291–296, 2015. IEEE. tex.ids= budiyantoFormalVerificationIntegrated2015a
doi  bibtex   
@inproceedings{budiyanto_formal_2015,
	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 = {Budiyanto, Ida Bagus and Kistijantoro, Achmad Imam and Trilaksono, Bambang Riyanto},
	year = {2015},
	note = {tex.ids= budiyantoFormalVerificationIntegrated2015a},
	pages = {291--296},
}

Downloads: 0