[IEEE 2014 European Control Conference (ECC) - Strasbourg, France (2014.6.24-2014.6.27)] 2014 European Control Conference (ECC) - Application of contract-based verification techniques for hybrid automata to surgical robotic systems
- 作者Schreiter, Luzie; Bresolin, Davide; Capiluppi, Marta; Raczkowsky, Joerg; Fiorini, Paolo; Woern, Heinz
- 文件大小506.91KB
- 发表时间2014
- DOI10.1109/ecc.2014.6862231
- 页码2310-2315
[IEEE 2011 International Conference on Space Science and Communication (IconSpace 2011) - Penang (2011.07.12-2011.07.13)] Proceeding of the 2011 IEEE International Conference on Space Science and Communication (IconSpace) - Front cover2011
[IEEE 2011 International Conference on Space Science and Communication (IconSpace) - Penang, Malaysia (2011.07.12-2011.07.13)] Proceeding of the 2011 IEEE International Conference on Space Science and Communication (IconSpace) - Content2011
[IEEE 2011 International Conference on Space Science and Communication (IconSpace) - Penang, Malaysia (2011.07.12-2011.07.13)] Proceeding of the 2011 IEEE International Conference on Space Science and Communication (IconSpace) - Organizing committee2011
[IEEE 2011 International Conference on Space Science and Communication (IconSpace) - Penang, Malaysia (2011.07.12-2011.07.13)] Proceeding of the 2011 IEEE International Conference on Space Science and Communication (IconSpace) - Authors index2011
[IEEE ICC 2011 - 2011 IEEE International Conference on Communications - Kyoto, Japan (2011.06.5-2011.06.9)] 2011 IEEE International Conference on Communications (ICC) - Beamforming for Space Division DuplexingSenaratne, Damith; Tellambura, Chintha · 2011
[IEEE 2011 IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) - Palo Alto, CA, USA (2011.08.2-2011.08.4)] 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology - Organization2011
[IEEE 2011 IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) - Palo Alto, CA, USA (2011.08.2-2011.08.4)] 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology - Reviewers2011
[IEEE 2011 International Conference on Space Science and Communication (IconSpace) - Penang, Malaysia (2011.07.12-2011.07.13)] Proceeding of the 2011 IEEE International Conference on Space Science and Communication (IconSpace) - List of reviewers2011