机译:由可重用组件合成安全的控制命令系统
Grenoble INP, Gipsa-Lab (UMR5216), F-38400 Saint Martin d'Heres, France;
Universite de Lyon, INSA Lyon, Ampere (UMR5005), F-69627 Villeurbanne, France;
Universite de Lyon, INSA Lyon, Ampere (UMR5005), F-69627 Villeurbanne, France;
Universite de Lyon, INSA Lyon, Ampere (UMR5005), F-69627 Villeurbanne, France;
Formal verification; Discrete controller synthesis; COTS; Simulation; Embedded systems; Control-command;
机译:安全关键组件的系统重用将迎来嵌入式软件开发的新时代
机译:对处理废水的消毒作为安全城市重用的基本纯化步骤:中国城市重用应用中的UV-and Cio_2消毒系统的比较试验研究
机译:处理过的废水的消毒是确保城市安全回用的必要纯化步骤:中国城市回用紫外线和ClO2消毒系统的对比试验研究
机译:一种从可重复使用组件中合成控制命令系统的设计方法
机译:一种由可重用组件和基于知识的系统生成智能辅导系统的体系结构。
机译:介绍延长安全分形:重用安全管理系统的概念来组织弹性组织
机译:我们什么时候可以安全地重用系统,升级系统或使用COTs组件?