@article{jayakumar_systematic_2020,
	title = {Systematic {Model}-based {Design} {Assurance} and {Property}-based {Fault} {Injection} for {Safety} {Critical} {Digital} {Systems}},
	url = {https://scholarscompass.vcu.edu/etd/6239},
	doi = {https://doi.org/10.25772/Z555-M644},
	journal = {Theses and Dissertations},
	author = {Jayakumar, Athira Varma},
	month = jan,
	year = {2020},
}

{"_id":"v38RkGLqQzox7oE8M","bibbaseid":"jayakumar-systematicmodelbaseddesignassuranceandpropertybasedfaultinjectionforsafetycriticaldigitalsystems-2020","authorIDs":["gnpJ2XahbLkbuhcqz"],"author_short":["Jayakumar, A. V."],"bibdata":{"bibtype":"article","type":"article","title":"Systematic Model-based Design Assurance and Property-based Fault Injection for Safety Critical Digital Systems","url":"https://scholarscompass.vcu.edu/etd/6239","doi":"https://doi.org/10.25772/Z555-M644","journal":"Theses and Dissertations","author":[{"propositions":[],"lastnames":["Jayakumar"],"firstnames":["Athira","Varma"],"suffixes":[]}],"month":"January","year":"2020","bibtex":"@article{jayakumar_systematic_2020,\n\ttitle = {Systematic {Model}-based {Design} {Assurance} and {Property}-based {Fault} {Injection} for {Safety} {Critical} {Digital} {Systems}},\n\turl = {https://scholarscompass.vcu.edu/etd/6239},\n\tdoi = {https://doi.org/10.25772/Z555-M644},\n\tjournal = {Theses and Dissertations},\n\tauthor = {Jayakumar, Athira Varma},\n\tmonth = jan,\n\tyear = {2020},\n}\n\n","author_short":["Jayakumar, A. V."],"key":"jayakumar_systematic_2020","id":"jayakumar_systematic_2020","bibbaseid":"jayakumar-systematicmodelbaseddesignassuranceandpropertybasedfaultinjectionforsafetycriticaldigitalsystems-2020","role":"author","urls":{"Paper":"https://scholarscompass.vcu.edu/etd/6239"},"metadata":{"authorlinks":{"elks, c":"https://bibbase.org/show?bib=https%3A%2F%2Fapi.zotero.org%2Fgroups%2F2575028%2Fitems%3Fkey%3DWRT0i5KCH5DutUN8UOzXF5dC%26format%3Dbibtex%26limit%3D100"}},"downloads":0},"bibtype":"article","biburl":"https://api.zotero.org/groups/2575028/items?key=WRT0i5KCH5DutUN8UOzXF5dC&format=bibtex&limit=100","creationDate":"2020-11-10T15:43:26.161Z","downloads":0,"keywords":[],"search_terms":["systematic","model","based","design","assurance","property","based","fault","injection","safety","critical","digital","systems","jayakumar"],"title":"Systematic Model-based Design Assurance and Property-based Fault Injection for Safety Critical Digital Systems","year":2020,"dataSources":["3szDtHe5XuBcrBHR4","2PHxSBEXp3AWgXrFz"]}