![](/img/cover-not-exists.png)
[IEEE 2014 5th IEEE International Conference on Software Engineering and Service Science (ICSESS) - Beijing, China (2014.6.27-2014.6.29)] 2014 IEEE 5th International Conference on Software Engineering and Service Science - A case study of verifying TFM requirements specification based on SMV
Chi, Xuehang, Jin, Ying, Zhang, JingYear:
2014
Language:
english
DOI:
10.1109/icsess.2014.6933523
File:
PDF, 153 KB
english, 2014