[IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Shenzhen, China (2012.04.11-2012.04.13)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - Online Model Checking for Dependable Real-Time Systems
Zhao, Yuhong, Rammig, FranzYear:
2012
Language:
english
DOI:
10.1109/ISORC.2012.28
File:
PDF, 331 KB
english, 2012