@inproceedings{sheregar_validation_2017,
	title = {Validation of control algorithm using formal methods: {Validation} of mode transition logic of {AFCS} in {SARAS} aircraft},
	doi = {10/gh25xk},
	booktitle = {2017 {IEEE} {Aerospace} {Conference}},
	author = {Sheregar, Sushan D. and Nanda, Manju and Kushal, K. S. and Jayanthi, J.},
	year = {2017},
	pages = {1--8},
}

{"_id":"hjS3fCQxthL66rPyL","bibbaseid":"sheregar-nanda-kushal-jayanthi-validationofcontrolalgorithmusingformalmethodsvalidationofmodetransitionlogicofafcsinsarasaircraft-2017","author_short":["Sheregar, S. D.","Nanda, M.","Kushal, K. S.","Jayanthi, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Validation of control algorithm using formal methods: Validation of mode transition logic of AFCS in SARAS aircraft","doi":"10/gh25xk","booktitle":"2017 IEEE Aerospace Conference","author":[{"propositions":[],"lastnames":["Sheregar"],"firstnames":["Sushan","D."],"suffixes":[]},{"propositions":[],"lastnames":["Nanda"],"firstnames":["Manju"],"suffixes":[]},{"propositions":[],"lastnames":["Kushal"],"firstnames":["K.","S."],"suffixes":[]},{"propositions":[],"lastnames":["Jayanthi"],"firstnames":["J."],"suffixes":[]}],"year":"2017","pages":"1–8","bibtex":"@inproceedings{sheregar_validation_2017,\n\ttitle = {Validation of control algorithm using formal methods: {Validation} of mode transition logic of {AFCS} in {SARAS} aircraft},\n\tdoi = {10/gh25xk},\n\tbooktitle = {2017 {IEEE} {Aerospace} {Conference}},\n\tauthor = {Sheregar, Sushan D. and Nanda, Manju and Kushal, K. S. and Jayanthi, J.},\n\tyear = {2017},\n\tpages = {1--8},\n}\n\n","author_short":["Sheregar, S. D.","Nanda, M.","Kushal, K. S.","Jayanthi, J."],"key":"sheregar_validation_2017","id":"sheregar_validation_2017","bibbaseid":"sheregar-nanda-kushal-jayanthi-validationofcontrolalgorithmusingformalmethodsvalidationofmodetransitionlogicofafcsinsarasaircraft-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["validation","control","algorithm","using","formal","methods","validation","mode","transition","logic","afcs","saras","aircraft","sheregar","nanda","kushal","jayanthi"],"title":"Validation of control algorithm using formal methods: Validation of mode transition logic of AFCS in SARAS aircraft","year":2017}