Requirements Engineering for Safety-Critical Molecular Programs
Requirements Engineering for Safety-Critical Molecular Programs
复制标题
安全关键分子项目的需求工程
DOI：
10.1109/re54965.2022.00045
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Lutz, Robyn R.
中科院分区：
文献类型：
--
作者：
Lutz, Robyn R.
登录
查看更多内容
在化学反应网络中使用程序不变量进行推理和测试生成
DOI：
10.1145/3510003.3510176
发表时间：
2022
期刊：
44th International Conference on Software Engineering
影响因子：
--
作者：
Gerten, Michael C.:;Lathrop, James I.;Cohen, Myra B.;Miner, Andrew S.;Klinge, Titus H.
通讯作者：
Klinge, Titus H.
构建安全汽车系统可追溯性信息模型的设计决策
DOI：
10.1109/re51729.2021.00024
发表时间：
2021
期刊：
2021 IEEE 29th International Requirements Engineering Conference (RE)
影响因子：
--
作者：
J. Steghöfer;Björn Koopmann;J. Becker;Mikaela Törnlund;Yulla Ibrahim;Mazen Mohamad
通讯作者：
Mazen Mohamad
安全关键项目的战略可追溯性
影响因子：
3.3
作者：
Mäder;Patrick;Cleland-Huang Jane
通讯作者：
Cleland-Huang Jane
DOI：
10.1109/re.2009.31
发表时间：
2009
期刊：
2009 17th IEEE International Requirements Engineering Conference
影响因子：
--
作者：
T. Tun;M. Jackson;R. Laney;B. Nuseibeh;Yijun Yu
通讯作者：
Yijun Yu
影响因子：
3.4
作者：
J. Knight
通讯作者：
J. Knight