![](/img/cover-not-exists.png)
Early Verification and Validation of Mission Critical Systems
C. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde, H. Tran VanVolume:
133
Year:
2005
Language:
english
Pages:
18
DOI:
10.1016/j.entcs.2004.08.067
File:
PDF, 815 KB
english, 2005