机译:从Focal到UML的正式而合理的转变:机场安全法规的应用
Formal methods; Graphical documentation; Focal; UML; Airport security regulations;
机译:从Focal到UML的正式而合理的转变:机场安全法规的应用
机译:IBE到签名转换的正式安全处理:安全概念之间的关系
机译:使用JavaSPI的安全协议的形式合理的实现
机译:从重点规范中生产UML模型到机场安全法规中的应用
机译:变革型领导及其属性:可以提高迈阿密国际机场安全性的因素。
机译:消除UMLS同义词库中的循环的方法:天真与正式
机译:关于使用焦点环境的机场安全法规的推理