中文版 | English

在结果中检索

KMS

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks 会议论文
FORMAL METHODS, PT II, FM 2024, null,Milan,ITALY, SEP 09-13, 2024
作者:  Tan, Huiyu;  Yang, Xi;  Song, Fu;  Chen, Taolue;  Wu, Zhilin
Adobe PDF(595Kb)  |  收藏  |  浏览/下载：354/1  |  提交时间：2024/10/11
The SLAM Hive Benchmarking Suite 会议论文
IEEE CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA) 2023, London, May 29, 2023 - June 2, 2023
作者:  Yuanyuan Yang;  Bowen Xu;  Yinjie Li;  Sören Schwertfeger
Adobe PDF(328Kb)  |  收藏  |  浏览/下载：399/5  |  提交时间：2023/05/23
Efficient symmetric Hessian propagation for direct optimal control 期刊论文
JOURNAL OF PROCESS CONTROL, 2017, 卷号: 50, 页码: 19-28
作者:  Quirynen, Rien;  Houska, Boris;  Diehl, Moritz
Adobe PDF(757Kb)  |  收藏  |  浏览/下载：495/1  |  提交时间：2017/07/04
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页