SMV model-based safety analysis of software requirements
Kwang Yong Koh, Poong Hyun SeongVolume:
94
Year:
2009
Language:
english
Pages:
12
DOI:
10.1016/j.ress.2008.03.025
File:
PDF, 1.40 MB
english, 2009