DocumentCode :
2113720
Title :
Formal Specifications are Mathematical Example from Robotics
Author :
Alagar, V.S. ; Periyasamy, K.
Author_Institution :
Department of Computer Science Concordia University, Canada
Volume :
2
fYear :
1992
fDate :
7-10 Jul 1992
Firstpage :
733
Lastpage :
741
Keywords :
Application software; Carbon capture and storage; Computational modeling; Computer science; Decision making; Formal specifications; Mathematical model; Power system modeling; Robotics and automation; Robots;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Intelligent Robots and Systems, 1992., Proceedings of the 1992 lEEE/RSJ International Conference on
ISSN :
1
Print_ISBN :
0-7803-0737-2
Type :
conf
DOI :
10.1109/IROS.1992.594474
Filename :
594474
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2113720
بازگشت