{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T06:09:18Z","timestamp":1648966158849},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,10,1]],"date-time":"1993-10-01T00:00:00Z","timestamp":749433600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[1993,10]]},"DOI":"10.1007\/bf01257994","type":"journal-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T23:09:36Z","timestamp":1111619376000},"page":"173-200","source":"Crossref","is-referenced-by-count":0,"title":["A formal framework for design and verification of robotic agents"],"prefix":"10.1007","volume":"8","author":[{"given":"K.","family":"Periyasamy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. S.","family":"Alagar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. D.","family":"Bui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Alagar, V.S. and Periyasamy, K., On transforming formal specifications of requirements to objectoriented design, to be presented inHarnessing the Object Revolution: Workshop on Object-Oriented Software Engineering Practice, Denver, Colorado, USA, Feb 1992."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Alagar, V.S., Bui, T.D. and Periyasamy, K., A formal framework for specifying robot kinematics,Proc. European Intelligent Robotic Systems Conference, Corfu, Greece (1991).","DOI":"10.1007\/978-94-011-2526-0_4"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Barrett, G., Formal methods applied to a floating-point number system,IEEE Trans. Software Engineering 15(5), (1989).","DOI":"10.1109\/32.24710"},{"key":"CR4","volume-title":"Robotics Science","author":"M. Brady","year":"1989","unstructured":"Brady, M.,Robotics Science, MIT Press, Cambridge, MA (1989)."},{"key":"CR5","volume-title":"A framework for specifying robotic agents, Technical Report-CMU-CS-89-155","author":"A.D. Christiansen","year":"1989","unstructured":"Christiansen, A.D., A framework for specifying robotic agents, Technical Report-CMU-CS-89-155, Department of Computer Science, Carnegie Mellon University, Pittsburgh (1989)."},{"key":"CR6","volume-title":"Specification of Complex Systems","author":"B. Cohen","year":"1986","unstructured":"Cohen, B., Harwood, W.T. and Jackson, M.I.,Specification of Complex Systems, Addison-Wesley, New York (1986)."},{"key":"CR7","volume-title":"Introduction to Robotics","author":"J.J. Craig","year":"1989","unstructured":"Craig, J.J.,Introduction to Robotics, Addison-Wesley, Reading, MA (1989)."},{"key":"CR8","doi-asserted-by":"crossref","DOI":"10.1201\/9781482267419","volume-title":"The VDM-SL Reference Guide","author":"J. Dawes","year":"1991","unstructured":"Dawes, J.,The VDM-SL Reference Guide, Pitman, London (1991)."},{"issue":"10","key":"CR9","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1016\/0141-9331(88)90002-6","volume":"12","author":"P. Froome","year":"1988","unstructured":"Froome, P. and Monahan, B., The role of mathematically formal methods in the development and assessment of safety-critical systems,Microprocessors and Microsystems (UK) 12(10), 539?546 (1988).","journal-title":"Microprocessors and Microsystems (UK)"},{"key":"CR10","unstructured":"IEEE COMPUTER, Special Issue on Formal Methods, September 1990."},{"key":"CR11","unstructured":"IEEE Spectrum, Special Issue on Formal Methods, September 1990."},{"key":"CR12","unstructured":"IEEE Transactions on Software Engineering, Special Issue on Formal Methods, September 1990."},{"key":"CR13","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1989","unstructured":"Meyer, B.,Object-Oriented Software Construction, Prentice Hall, Englewood Cliff (1989)."},{"key":"CR14","volume-title":"A Treatise on Analytical Dynamics","author":"L.A. Pars","year":"1965","unstructured":"Pars, L.A.,A Treatise on Analytical Dynamics, Heinemann, London (1965)."},{"key":"CR15","volume-title":"Robot Manipulators","author":"R.P. Paul","year":"1981","unstructured":"Paul, R.P.,Robot Manipulators, MIT Press, Cambridge, MA (1981)."},{"key":"CR16","volume-title":"Specifications for geometric primitives, Technical Report-CSD-90-4","author":"K. Periyasamy","year":"1990","unstructured":"Periyasamy, K., Alagar, V.S. and Bui, T.D., Specifications for geometric primitives, Technical Report-CSD-90-4, Department of Computer Science, Concordia University, Montreal, Canada, 1990."},{"key":"CR17","volume-title":"Robotic agents and assembly process: A formal specification case study","author":"K. Periyasamy","year":"1991","unstructured":"Periyasamy, K., Robotic agents and assembly process: A formal specification case study, PhD Thesis, Department of Computer Science, Concordia University, Montreal, Canada, Aug 1991."},{"issue":"5","key":"CR18","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1093\/comjnl\/32.5.432","volume":"32","author":"B.A. Wichmann","year":"1989","unstructured":"Wichmann, B.A., Towards the formal specification of floating point,The Computer Journal 32(5), 432?436 (1989).","journal-title":"The Computer Journal"}],"container-title":["Journal of Intelligent & Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01257994.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01257994\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01257994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T05:03:35Z","timestamp":1625634215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01257994"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,10]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,10]]}},"alternative-id":["BF01257994"],"URL":"https:\/\/doi.org\/10.1007\/bf01257994","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,10]]}}}