{"type":"conference","title":"Online Model Checking for Dependable Real-time Systems","conference":{"name":"11. - 13. Apr. 2012 IEEE Computer Society,"},"year":"2012","date_updated":"2022-01-06T06:57:15Z","publication":"16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China","_id":"26027","user_id":"21240","publisher":" IEEE Computer Society","language":[{"iso":"eng"}],"author":[{"last_name":"Zhao","first_name":"Yuhong","full_name":"Zhao, Yuhong"},{"first_name":"Franz-Josef","last_name":"Rammig","full_name":"Rammig, Franz-Josef"}],"status":"public","citation":{"ieee":"Y. Zhao and F.-J. Rammig, “Online Model Checking for Dependable Real-time Systems,” in <i>16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China</i>, 2012, pp. 154–161.","ama":"Zhao Y, Rammig F-J. Online Model Checking for Dependable Real-time Systems. In: <i>16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China</i>.  IEEE Computer Society; 2012:154-161.","mla":"Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable Real-Time Systems.” <i>16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China</i>,  IEEE Computer Society, 2012, pp. 154–61.","apa":"Zhao, Y., &#38; Rammig, F.-J. (2012). Online Model Checking for Dependable Real-time Systems. <i>16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China</i>, 154–161.","chicago":"Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable Real-Time Systems.” In <i>16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China</i>, 154–61.  IEEE Computer Society, 2012.","short":"Y. Zhao, F.-J. Rammig, in: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China,  IEEE Computer Society, 2012, pp. 154–161.","bibtex":"@inproceedings{Zhao_Rammig_2012, title={Online Model Checking for Dependable Real-time Systems}, booktitle={16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China}, publisher={ IEEE Computer Society}, author={Zhao, Yuhong and Rammig, Franz-Josef}, year={2012}, pages={154–161} }"},"department":[{"_id":"672"}],"page":"154-161","date_created":"2021-10-11T09:35:46Z"}