Specification-based prototyping for embedded systems
Thompson, Jeffrey M.; Heimdahl, Mats P. E.; Miller, Steven P.
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Thompson, Jeffrey M.; Heimdahl, Mats P. E.; Miller, Steven P.
- 卷第24卷
- 期第6期
- 印刷ISSN0163-5948
- 文件大小1334.41KB
- 发表时间1999-11-01
- DOI10.1145/318774.318940
- 页码163-179