消息
×
loading..
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)  |  收藏  |  浏览/下载:348/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)  |  收藏  |  浏览/下载:393/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)  |  收藏  |  浏览/下载:490/1  |  提交时间:2017/07/04
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页