{"user_id":"21240","_id":"25148","language":[{"iso":"eng"}],"publisher":"IEEE Xplore","page":"374-383","date_updated":"2022-01-06T06:56:53Z","author":[{"full_name":"Sudhakar, Krishna","last_name":"Sudhakar","first_name":"Krishna"},{"last_name":"Zhao","first_name":"Yuhong","full_name":"Zhao, Yuhong"},{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"}],"year":"2014","title":"Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System","status":"public","department":[{"_id":"672"}],"type":"conference","place":"Reno, NV","date_created":"2021-09-30T07:40:01Z","citation":{"apa":"Sudhakar, K., Zhao, Y., &#38; Rammig, F.-J. (2014). Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>, 374–383.","ieee":"K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System,” in <i>Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>, 2014, pp. 374–383.","short":"K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.","chicago":"Sudhakar, Krishna, Yuhong Zhao, and Franz-Josef Rammig. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” In <i>Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>, 374–83. Reno, NV: IEEE Xplore, 2014.","mla":"Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” <i>Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>, IEEE Xplore, 2014, pp. 374–83.","ama":"Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. In: <i>Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>. IEEE Xplore; 2014:374-383.","bibtex":"@inproceedings{Sudhakar_Zhao_Rammig_2014, place={Reno, NV}, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, booktitle={Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}, publisher={IEEE Xplore}, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2014}, pages={374–383} }"},"publication":"Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)"}