• 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.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2113720