DocumentCode :
3341966
Title :
Whither Formal Methods: A Plea To Investigate New Applications
Author :
Jones, Cliff B.
Author_Institution :
University of Manchester, UK
fYear :
1997
fDate :
12-14 Nov. 1997
Firstpage :
5
Lastpage :
5
Keywords :
Application software; Computer applications; Java; Robot control; Virtual reality;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
Conference_Location :
Hiroshima, Japan
Print_ISBN :
0-8186-8002-4
Type :
conf
DOI :
10.1109/ICFEM.1997.630391
Filename :
630391
Link To Document :
بازگشت