go top

symbolic model-based test selection 添加释义

网络释义

  的翻译是符号基于模型的测试选择

Mechanised Wire-wise Veri... ... Multiple Synchrony in MSC的翻译是:在MSC的多个同步 [翻译] Symbolic Model-based Test Selection的翻译是:符号基于模型的测试选择 [翻译] Transforming Programs into Recursive Functions的翻译是:变换的节目到递归函数里 [翻译] ...

基于2个网页-相关网页

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定