[IEEE 2014 IEEE International Conference on Information and Automation (ICIA) - Hailar, Hulun Buir, China (2014.7.28-2014.7.30)] 2014 IEEE International Conference on Information and Automation (ICIA) - Improving software model checking on program backbone within distributed system
Yong, Jiawei, Koyanagi, Keiichi, Tsuchiya, Takeshi, Yamada, Tetsuyasu, Sawano, HiroakiYear:
2014
Language:
english
DOI:
10.1109/icinfa.2014.6932622
File:
PDF, 701 KB
english, 2014