Greybox specification; Modular verification; JML language;
机译:具有全局特征和带标记的随机数的高级多匹配器在线签名验证方法
机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:APR1400中高级设计功能的设计验证
机译:指定和验证高级控制功能
机译:用于振动和音频信号分类的高级功能和功能选择方法。
机译:控制性地氟醚吸入麻醉下晚期帕金森氏病患者丘脑下神经元信号的功率降低但仍保持爆发特征
机译:自动验证高级的面向对象功能:AutoProof方法
机译:面向用户的综合数字飞行控制系统验证实验室:特性和功能