Automated module testing in Prolog
- 作者Hoffman, D.M.; Strooper, P.
- 卷第17卷
- 期第9期
- 印刷ISSN0098-5589
- 文件大小950.43KB
- 发表时间1991
- DOI10.1109/32.92913
同作者推荐
Temporal logics for real-time system specificationBellini, P.; Mattolini, R.; Nesi, P. · ACM Computing Surveys · 2000
[IEEE Comput. Soc. Press ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Montreal, Que., Canada (21-25 Oct. 1996)] Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Using TILCO for specifying real-time systemsMattolini, R.; Nesi, P. · 1996