Model-Based Security Testing
Schieferdecker, Ina; Grossmann, Juergen; Schneider, Martin
- 期刊名称Electronic Proceedings in Theoretical Computer Science
- 作者Schieferdecker, Ina; Grossmann, Juergen; Schneider, Martin
- 卷第80卷
- 电子ISSN2075-2180
- 文件大小233.08KB
- 发表时间2012-2-27
- DOI10.4204/eptcs.80.1
- 页码1-12