@article{kornecki_hardware_2014,
	title = {Hardware {Certification} for {Real}-time {Safety}-critical {Systems}: {State} of the {Art}},
	url = {https://works.bepress.com/ajk/13},
	author = {Kornecki, Andrew J. and Zalewski, Janusz},
	year = {2014},
	keywords = {Hardware Systems, ⛔ No DOI found},
}

{"_id":"tke3495tAhgbqmBTe","bibbaseid":"kornecki-zalewski-hardwarecertificationforrealtimesafetycriticalsystemsstateoftheart-2014","author_short":["Kornecki, A. J.","Zalewski, J."],"bibdata":{"bibtype":"article","type":"article","title":"Hardware Certification for Real-time Safety-critical Systems: State of the Art","url":"https://works.bepress.com/ajk/13","author":[{"propositions":[],"lastnames":["Kornecki"],"firstnames":["Andrew","J."],"suffixes":[]},{"propositions":[],"lastnames":["Zalewski"],"firstnames":["Janusz"],"suffixes":[]}],"year":"2014","keywords":"Hardware Systems, ⛔ No DOI found","bibtex":"@article{kornecki_hardware_2014,\n\ttitle = {Hardware {Certification} for {Real}-time {Safety}-critical {Systems}: {State} of the {Art}},\n\turl = {https://works.bepress.com/ajk/13},\n\tauthor = {Kornecki, Andrew J. and Zalewski, Janusz},\n\tyear = {2014},\n\tkeywords = {Hardware Systems, ⛔ No DOI found},\n}\n\n","author_short":["Kornecki, A. J.","Zalewski, J."],"key":"kornecki_hardware_2014","id":"kornecki_hardware_2014","bibbaseid":"kornecki-zalewski-hardwarecertificationforrealtimesafetycriticalsystemsstateoftheart-2014","role":"author","urls":{"Paper":"https://works.bepress.com/ajk/13"},"keyword":["Hardware Systems","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["hardware systems","⛔ no doi found"],"search_terms":["hardware","certification","real","time","safety","critical","systems","state","art","kornecki","zalewski"],"title":"Hardware Certification for Real-time Safety-critical Systems: State of the Art","year":2014}