首页期刊浏览 2025年07月05日星期六

登录注册

高级检索

专家检索

全文

有本地全文

1篇

出版年度

2021

1篇

作者

	Abha Moitra	1篇
	Baoluo Meng	1篇
	Cesare Tinelli	1篇
	Daniel Larraz	1篇
	Daniel Prince	1篇

	Heber Herencia-Zapana	1篇
	John Interrante	1篇
	Kit Siu	1篇
	M. Fareed Arif	1篇
	Michael Durling	1篇
	Moosa Yahyazadeh	1篇
	Omar Chowdhury	1篇
	Saswata Paul	1篇
	Vidhya Tekken Valapil	1篇
	William Smith	1篇

文章类型

Research Article

1篇

来源期刊

Systems

1篇

学科主题

系统工程

1篇

语种

英文

1篇

国别/地区

瑞士

1篇

检索条件:"( ( 高级检索(( ((AU:(("Baoluo Meng")))) )) ) )"

共 1 条记录

排序：全选导出：

1.VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System

作　　者：Baoluo Meng ;Daniel Larraz ;Kit Siu 等

出　　处：Systems. 2021 ;9(1):18.doi:10.3390/systems9010018

出版社：MDPI Publishing

文章 ID：259391220

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有