ACCELERATED LIFE TESTS; FUNCTIONAL DESIGN SPECIFICATIONS; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING; COMPUTER PROGRAMMING; LANGUAGE PROGRAMMING;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:用布尔函数隐式表示的形式语言测试成员资格
机译:拼接严格本地可测试语言的表示形式
机译:用于IPv一致性测试的新的正式测试套件规范语言
机译:对三种测量年龄在11至12岁,五个月的受试者中的接受语言处理能力的测试的比较研究:儿童的令牌测试(Disimoni,1978)青少年的Fullerton语言测试,口头命令子测试(Thorum,1980)临床语言功能评估,处理语言概念和处理口头指示子测验(Semel&Wiig,1980)。
机译:迈向Lezgian语言(北高加索地区)的正式族谱分类:测试词汇数据上的各种系统发育方法
机译:使用硬件描述语言设计的asIC的功能测试