CORC

浏览/检索结果: 共2条,第1-2条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
Design, Implementation and Modeling of Flooding Disaster-Oriented USV 专著章节/文集论文
出自: Recent Advances in Robotic Systems, Rijeka, Croatia, Rijeka, Croatia:InTech, InTech, 2016, 页码: 27-45
作者:  Xiong JF(熊俊峰);  Gu F(谷丰);  Li DC(李德才);  He YQ(何玉庆);  Han JD(韩建达)
收藏  |  浏览/下载:25/0  |  提交时间:2016/12/21
Formal specification and refinement of a safe train control function 专著章节/文集论文
出自: Formal methods for embedded distributed systems: how to master the complexity, Norwell, MA, USA, Norwell, MA, USA:Kluwer Academic Publishers, Kluwer Academic Publishers, 2004
V. Winter; D. Kapur; G. Fuehrer
收藏  |  浏览/下载:16/0  |  提交时间:2010/05/27


©版权所有 ©2017 CSpace - Powered by CSpace