Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
贾德·哈姆扎,西蒙·费利克斯,维克托·昆卡,伊沃·努斯鲍默,菲利普·施拉姆卡.从已验证的Scala到使用不锈钢的STIX文件系统嵌入式代码.在Jyotirmoy V.Deshmukh公司,克劳斯·哈维隆德,伊万·佩雷斯0001,编辑,NASA正式方法-第14届国际研讨会,美国加利福尼亚州帕萨迪纳,2022年5月24日至27日,NFM 2022,会议记录.第13260卷,共页计算机科学课堂讲稿,页393-410、斯普林格、,2022 [美国国防部]
缺少摘要。