Software quality journal. 2004;12(3):231-264. doi: 10.1023/b:sqjo.0000034710.86897.16 Q32.42025

Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1

DOI: 10.1023/b:sqjo.0000034710.86897.16

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！