Design tools for requirements engineerin
β
Gerard J. Holzmann; Doron A. Peled; Margaret H. Redberg
π
Article
π
2002
π
Institute of Electrical and Electronics Engineers
π
English
β 143 KB
π 1 views