Identifying safety properties guaranteed in changed environment at runtime
Identifying safety properties guaranteed in changed environment at runtime
复制标题
识别运行时变化的环境中保证的安全属性
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Kenji Tei and Shinichi Honiden
中科院分区：
文献类型：
--
作者：
Kazuya Aizawa;Kenji Tei and Shinichi Honiden
离散事件系统的定向控制器综合：用启发式方法驯服组合
DOI：
10.1109/cdc.2016.7798996
发表时间：
2016
期刊：
2016 IEEE 55th Conference on Decision and Control (CDC)
影响因子：
--
作者：
D. Ciolek;V. Braberman;Nicolás D'Ippolito;Sebastián Uchitel
通讯作者：
Sebastián Uchitel
使用 SimCA 在自适应系统中处理新的和不断变化的需求并提供保证
DOI：
--
发表时间：
2017
期刊：
International Symposium on Software Engineering for Adaptive and Self-Managing Systems
影响因子：
--
作者：
S. Shevtsov;Danny Weyns;M. Maggio
通讯作者：
M. Maggio