School of Electrical and Computer Engineering, National Technical University of Athens, Athens, Greece;
机译:企业使用系统动力学方法遵守政府的减碳标签政策
机译:用于增强企业软件COBIT治理的互操作性故障的合规性管理模型
机译:自动验证软件过程模型上的静态策略
机译:企业软件系统中的策略建模和合规性验证:调查
机译:在软件定义无线电的范围内,针对设计模型相对于其规格模型的符合性验证:一种模型转换方法。
机译:环境规范与企业创新:中国制造企业的实证证据
机译:Cyber Pl:使用软件产品线验证系统配置的网络安全策略遵守框架
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷