airports; formal specification; object-oriented methods; security of data; theorem proving; Focal environment; airport security regulation; automated theorem prover Zenon; declarative-like language; object-oriented specification;
机译:从Focal到UML的正式而合理的转变:机场安全法规的应用
机译:从Focal到UML的正式而合理的转变:机场安全法规的应用
机译:机场环境保护和港口安全增强设施的新业务方面
机译:使用焦点环境的机场安全法规的推理
机译:机场安全:检查生物识别技术的接受现状以及采用生物识别技术进行机场出入管制的倾向。
机译:SARS-COV-2时代紫外线评价机场安全箱快速净化的紫外线
机译:关于使用焦点环境的机场安全法规的推理