Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
陈天阳,林思轩(Linh Thi Xuan Phan).SafeMC:模式更改协议的设计和评估系统.在鲁道夫·佩利佐尼,编辑器,IEEE实时和嵌入式技术及应用研讨会,RTAS 2018,2018年4月11-13日,葡萄牙波尔图.页105-116IEEE计算机学会,2018 [美国国防部]
缺少摘要。