...
机译:程序和Web系统的自动验证
ISTI CNR, Pisa, Italy;
Univ Liverpool, Liverpool L69 3BX, Merseyside, England;
Russian Acad Sci, Moscow 117901, Russia;
Univ Nova Lisboa, P-1200 Lisbon, Portugal;
机译:EMMA:用于编程课程的基于网络的报告系统-自动验证和增强的反馈-
机译:使用Bond-Graph建模和仿真以及遗传程序验证机电系统自动化设计的实验
机译:JLAMP特刊的自动化规范和Web系统验证的社论
机译:嵌入式系统C程序的自动形式验证和测试
机译:使用遗传编程的自动化Web服务组合
机译:使用商业记录和验证系统进行容积调制电弧疗法治疗的远程自动每日交付验证的可行性
机译:用于自动验证编程任务的平台和系统:分析,选择标准和应用示例
机译:LWBR自动燃料棒装载验证计量系统(LWBR开发计划