Synthesizing Mutable Configurations: Setting up Systems for Success
Synthesizing Mutable Configurations: Setting up Systems for Success
复制标题
综合可变配置：设置成功的系统
DOI：
10.1109/asew.2019.00034
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Krishnamurthi, Shriram
中科院分区：
文献类型：
--
作者：
Nelson, Tim;Danas, Natasha;Giannakopoulos, Theophilos;Krishnamurthi, Shriram
登录
查看更多内容
影响因子：
--
作者：
Yu Feng;R. Martins;O. Bastani;Işıl Dillig
通讯作者：
Yu Feng;R. Martins;O. Bastani;Işıl Dillig
将反应综合应用于机器人的软件工程挑战
DOI：
--
发表时间：
2018
期刊：
International Symposium on Robotic and Sensors Environments
影响因子：
--
作者：
S. Maoz;Jan Oliver Ringert
通讯作者：
Jan Oliver Ringert
DynAlloy 分析仪：用于规范和分析具有动态行为的合金模型的工具
DOI：
10.1145/3106237.3122826
发表时间：
2017
期刊：
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
影响因子：
--
作者：
Germán Regis;César Cornejo;Simón Gutiérrez Brida;M. Politano;Fernando D. Raverta;Pablo Ponzio;Nazareno Aguirre;Juan P. Galeotti;M. Frias
通讯作者：
M. Frias
提出 Electrum 行动层
DOI：
--
发表时间：
2018
期刊：
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
影响因子：
--
作者：
Julien Brunel;D. Chemouil;Alcino Cunha;Thomas Hujsa;Nuno Macedo;Jeanne Tawa
通讯作者：
Jeanne Tawa
使用SAT和QBF验证和综合防火墙
DOI：
10.1109/icnp.2012.6459944
发表时间：
2012
期刊：
2012 20th IEEE International Conference on Network Protocols (ICNP)
影响因子：
--
作者：
Shuyuan Zhang;Abdulrahman Mahmoud;S. Malik;S. Narain
通讯作者：
S. Narain