Models; Security; Conformity; Methodology; Coding; Mapping; Configurations; Vulnerability; Threats; Dfd(Data flow diagram); Binary dependency information; Traceability;
机译:在移动Ad hoc网络中实现原子读/写共享内存的基于模型的自启动和自检查一致性测试的产生。
机译:用于移动Ad hoc网络中实现原子读/写共享内存的基于Ibwards模型的自启动和自检一致性测试的生成。
机译:数据感知场景中声明性业务流程模型的一致性检查和诊断
机译:检查威胁建模数据流程图以实现实现一致性和安全性
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:更正为:一种新的半自动化工作流程用于化学数据检索和建模应用程序的质量检查
机译:使用工作流程模型生成检查符合医疗标准的记录要求