مرکز منطقه ای اطلاع رساني علوم و فناوري - RAM Special Issue: Formal Methods for Robotics and Automation

DocumentCode :

1319590

Title :

RAM Special Issue: Formal Methods for Robotics and Automation

Volume :

Issue :

fYear :

2010

Firstpage :

102

Lastpage :

102

Abstract :

Describes the above-named upcoming special issue or section. May include topics to be covered or calls for papers.

fLanguage :

English

Journal_Title :

Robotics & Automation Magazine, IEEE

Publisher :

ieee

ISSN :

1070-9932

Type :

jour

DOI :

10.1109/MRA.2010.938528

Filename :

5569040

Link To Document :