登入選單
Google圖書搜尋
Formal Methods for Autonomous Systems
作者
Tichakorn Wongpiromsarn / Mahsa Ghasemi / Murat Cubuktepe
出版2023-09-21
ISBN
1638282722 / 9781638282723
主題
Computers
Formal Methods for Autonomous Systems
作者
Tichakorn Wongpiromsarn / Mahsa Ghasemi / Murat Cubuktepe / Georgios Bakirtzis / Steven Carr / Mustafa O. Karabag / Cyrus Neary / Parham Gohari / Ufuk Topcu
出版2023
ISBN
1638282730 / 9781638282730
主題
TECHNOLOGY & ENGINEERING
Formal Methods for Design and Verification of Embe...
作者
Tichakorn Wongpiromsarn
出版2010
ISBN
OCLC:712363023
主題
Autonomous robots