...
机译:检查基于参数的系统的死锁 - 自由
Univ. Grenoble Alpes CNRS Grenoble INP VERIMAG;
Univ. Grenoble Alpes CNRS Grenoble INP VERIMAG;
Univ. Grenoble Alpes CNRS Grenoble INP VERIMAG;
Parametric systems; Deadlock-freedom; Trap invariants; Interaction logic; Cardinality constraints; Quantifier elimination;
机译:基于组件的系统演化的基于策略的精制检查
机译:基于随机组件的系统的统计模型检查
机译:并发基于组件的软件系统中的检查点的高效建模和优化
机译:检查基于参数组件的系统的死锁自由度
机译:基于组件的参数化降阶建模方法,用于复杂结构的振动分析。
机译:可扩展的智能城市系统互操作性的基于组件的建模:以能源需求响应系统集成为例
机译:基于组件的系统无死锁的端口协议
机译:基于分布式组件的系统中组合约束的规范和动态检验。