从26查看出版物1-26
2024
2023
2022
2021
- 检验机器人的验证和验证挑战综述迈克尔·费希尔0001,拉斐尔·卡多佐,艾米丽·柯林斯,克里斯托弗·达德斯韦尔,路易斯·丹尼斯,克莱尔·狄克逊,玛丽·法雷尔,安吉洛·费兰多,黄晓伟0001,Mike跳跃,乔治·库蒂斯(Georgios Kourtis),阿列克谢·利西萨,马特·勒克库克,珊罗,文森特·帕吉,法比奥·帕帕奇尼,马特·韦伯斯特。机器人技术, 10(2):67,2021 [美国国防部]
2020
2019
- 在计算机科学和软件工程高等教育课程中植根形式方法——白皮书-安东尼奥·塞隆,马库斯·罗根巴赫,詹姆斯·达文波特,凯西·丹纳,玛丽·法雷尔,Magne Haveraaen公司,法伦·莫勒,菲利普·科纳,塞巴斯蒂安·克林斯,彼得·塞巴·奥尔夫茨基,伯恩德·霍尔格·施林格洛夫,尼古拉·席洛夫0002,鲁斯塔姆·朱马甘贝托夫。fmfun 2021年:1-26 [美国国防部]
2018
2017
2016
登录或注册以查看更多结果。