Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
复制标题
通过 NIST CPS 框架的视角对 CPS 进行详细说明和推理
DOI:
10.1017/s1471068422000035
复制
发表时间:
2022
影响因子:
1.4
通讯作者:
GRIFFOR, EDWARD R.
中科院分区:
文献类型:
--
作者:
NGUYEN, THANH HAI;BUNDAS, MATTHEW;SON, TRAN CAO;BALDUCCINI, MARCELLO;GARWOOD, KATHLEEN CAMPBELL;GRIFFOR, EDWARD R.
登录
查看更多内容
DOI:
10.1007/3-540-46767-x_23
发表时间:
1999-12
期刊:
--
影响因子:
--
作者:
I. Niemelä;P. Simons;T. Soininen
通讯作者:
I. Niemelä;P. Simons;T. Soininen
DOI:
10.5555/777092.777171
发表时间:
2002
期刊:
Earth's Future
影响因子:
--
作者:
Chitta Baral;Tran Hoai Nam;Le
通讯作者:
Le
DOI:
10.1016/j.jcde.2019.04.002
发表时间:
2019-04
期刊:
J. Comput. Des. Eng.
影响因子:
--
作者:
Sirasak Tepjit;I. Horváth;Z. Rusák
通讯作者:
Sirasak Tepjit;I. Horváth;Z. Rusák
DOI:
10.1007/978-3-030-39197-3_3
发表时间:
2020-01
期刊:
--
影响因子:
--
作者:
T. Nguyen;Enrico Pontelli;Tran Cao Son
通讯作者:
T. Nguyen;Enrico Pontelli;Tran Cao Son
DOI:
10.1016/s1474-6670(17)35112-1
发表时间:
2001
期刊:
IFAC Proceedings Volumes
影响因子:
--
作者:
J. Moschopoulos
通讯作者:
J. Moschopoulos