...
机译:使用SPIN对合同软件体系结构进行形式验证
机译:SAwUML-基于UML的合同软件架构及其使用SPIN的形式分析
机译:验证UML2.0软件架构的合同方法
机译:使用正式安全验证流程验证缓存架构漏洞
机译:正式验证软件产品线中特征模型与软件体系结构之间的一致性
机译:正式验证和测试软件体系结构模型。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:用于开发和验证形式富裕模型的方法和工具,用于复杂软件和硬件系统的要求和架构
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术