[Lecture Notes in Computer Science] Scenarios: Models, Transformations and Tools Volume 3466 || Lightweight Formal Methods for Scenario-Based Software Engineering
Leue, Stefan; Systä, Tarja Johanna
- 作者Leue, Stefan; Systä, Tarja Johanna
- 文件大小338.09KB
- 发表时间2005
- DOI10.1007/11495628_10
- 页码174-192