{"_id":"KQvddvKawvhgPiPyr","bibbaseid":"dsouza-kashi-avionicsselfadaptivesoftwaretowardsformalverificationandvalidation-2019","author_short":["D’Souza, M.","Kashi, R. N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Avionics Self-adaptive Software: Towards Formal Verification and Validation","shorttitle":"Avionics Self-adaptive Software","doi":"10/ghv3t2","booktitle":"International Conference on Distributed Computing and Internet Technology","publisher":"Springer","author":[{"propositions":[],"lastnames":["D’Souza"],"firstnames":["Meenakshi"],"suffixes":[]},{"propositions":[],"lastnames":["Kashi"],"firstnames":["Rajanikanth","N."],"suffixes":[]}],"year":"2019","note":"tex.ids= dsouzaAvionicsSelfadaptiveSoftware2019a, dsouzaAvionicsSelfadaptiveSoftware2019b, dsouzaAvionicsSelfadaptiveSoftware2019c","pages":"3–23","bibtex":"@inproceedings{dsouza_avionics_2019,\n\ttitle = {Avionics {Self}-adaptive {Software}: {Towards} {Formal} {Verification} and {Validation}},\n\tshorttitle = {Avionics {Self}-adaptive {Software}},\n\tdoi = {10/ghv3t2},\n\tbooktitle = {International {Conference} on {Distributed} {Computing} and {Internet} {Technology}},\n\tpublisher = {Springer},\n\tauthor = {D’Souza, Meenakshi and Kashi, Rajanikanth N.},\n\tyear = {2019},\n\tnote = {tex.ids= dsouzaAvionicsSelfadaptiveSoftware2019a, dsouzaAvionicsSelfadaptiveSoftware2019b, dsouzaAvionicsSelfadaptiveSoftware2019c},\n\tpages = {3--23},\n}\n\n","author_short":["D’Souza, M.","Kashi, R. N."],"key":"dsouza_avionics_2019","id":"dsouza_avionics_2019","bibbaseid":"dsouza-kashi-avionicsselfadaptivesoftwaretowardsformalverificationandvalidation-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["avionics","self","adaptive","software","towards","formal","verification","validation","d’souza","kashi"],"title":"Avionics Self-adaptive Software: Towards Formal Verification and Validation","year":2019}