@inproceedings{elks_symple_2017,
	title = {{SymPLe} 1131: {A} novel architecture solution for the realization of verifiable digital {I}\&{C} systems and embedded digital devices},
	shorttitle = {{SymPLe} 1131},
	booktitle = {10th {Int}. {Topical} {Meeting} on {Nuclear} {Plant} {Instrumentation}, {Control}, and {Human} {Machine} {Interface} {Technologies}, {San} {Francisco}, {California}},
	author = {Elks, C. R. and Bakker, T. and Hite, R. and Gautham, S. and Venkatesh, V. and Moore, J.},
	year = {2017},
}

{"_id":"GDWeJxK7X6cqZRiPW","bibbaseid":"elks-bakker-hite-gautham-venkatesh-moore-symple1131anovelarchitecturesolutionfortherealizationofverifiabledigitalicsystemsandembeddeddigitaldevices-2017","authorIDs":["gnpJ2XahbLkbuhcqz"],"author_short":["Elks, C. R.","Bakker, T.","Hite, R.","Gautham, S.","Venkatesh, V.","Moore, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"SymPLe 1131: A novel architecture solution for the realization of verifiable digital I&C systems and embedded digital devices","shorttitle":"SymPLe 1131","booktitle":"10th Int. Topical Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, San Francisco, California","author":[{"propositions":[],"lastnames":["Elks"],"firstnames":["C.","R."],"suffixes":[]},{"propositions":[],"lastnames":["Bakker"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Hite"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Gautham"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Venkatesh"],"firstnames":["V."],"suffixes":[]},{"propositions":[],"lastnames":["Moore"],"firstnames":["J."],"suffixes":[]}],"year":"2017","bibtex":"@inproceedings{elks_symple_2017,\n\ttitle = {{SymPLe} 1131: {A} novel architecture solution for the realization of verifiable digital {I}\\&{C} systems and embedded digital devices},\n\tshorttitle = {{SymPLe} 1131},\n\tbooktitle = {10th {Int}. {Topical} {Meeting} on {Nuclear} {Plant} {Instrumentation}, {Control}, and {Human} {Machine} {Interface} {Technologies}, {San} {Francisco}, {California}},\n\tauthor = {Elks, C. R. and Bakker, T. and Hite, R. and Gautham, S. and Venkatesh, V. and Moore, J.},\n\tyear = {2017},\n}\n\n","author_short":["Elks, C. R.","Bakker, T.","Hite, R.","Gautham, S.","Venkatesh, V.","Moore, J."],"key":"elks_symple_2017","id":"elks_symple_2017","bibbaseid":"elks-bakker-hite-gautham-venkatesh-moore-symple1131anovelarchitecturesolutionfortherealizationofverifiabledigitalicsystemsandembeddeddigitaldevices-2017","role":"author","urls":{},"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":"inproceedings","biburl":"https://api.zotero.org/groups/2575028/items?key=WRT0i5KCH5DutUN8UOzXF5dC&format=bibtex&limit=100","creationDate":"2020-11-10T15:23:06.271Z","downloads":0,"keywords":[],"search_terms":["symple","1131","novel","architecture","solution","realization","verifiable","digital","systems","embedded","digital","devices","elks","bakker","hite","gautham","venkatesh","moore"],"title":"SymPLe 1131: A novel architecture solution for the realization of verifiable digital I&C systems and embedded digital devices","year":2017,"dataSources":["3szDtHe5XuBcrBHR4","2PHxSBEXp3AWgXrFz"]}