{"title":"Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System","_id":"25109","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:56:51Z","publication":"Concurrency and Computation: Practice and Experience ","type":"journal_article","citation":{"bibtex":"@article{Sudhakar_Zhao_Rammig_2015, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, journal={Concurrency and Computation: Practice and Experience }, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2015} }","mla":"Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","ieee":"K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System,” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","short":"K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice and Experience  (2015).","chicago":"Sudhakar, Krishna, Yuhong Zhao, and Franz-Josef Rammig. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","apa":"Sudhakar, K., Zhao, Y., &#38; Rammig, F.-J. (2015). Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Concurrency and Computation: Practice and Experience </i>.","ama":"Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Concurrency and Computation: Practice and Experience </i>. Published online 2015."},"year":"2015","user_id":"21240","author":[{"last_name":"Sudhakar","full_name":"Sudhakar, Krishna","first_name":"Krishna"},{"first_name":"Yuhong","last_name":"Zhao","full_name":"Zhao, Yuhong"},{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"}],"department":[{"_id":"672"}],"status":"public","date_created":"2021-09-29T09:53:25Z"}