Analyzing Systems Dependent on Execution Speed with Model Checker
Takahisa Mizuno, Shin-Ya NishizakiVolume:
50
Year:
2012
Language:
english
DOI:
10.1016/j.proeng.2012.10.059
File:
PDF, 273 KB
english, 2012