DocumentCode
1935156
Title
Formal specification and design of mobile systems
Author
Roman, Gruia-Catalin ; Julien, Christine ; Huang, Qingfeng
fYear
2001
fDate
15-19 April 2001
Abstract
Presents the introductory welcome message from the conference proceedings. May include the conference officers´ congratulations to all involved with the conference event and publication of the proceedings record.
Keywords
Ad hoc networks; Computer networks; Computer science; Distributed computing; Formal specifications; Logic programming; Mobile computing; Process design; Termination of employment; Vehicles;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM
Conference_Location
Ft. Lauderdale, FL
Print_ISBN
0-7695-1573-8
Type
conf
DOI
10.1109/IPDPS.2002.1016623
Filename
1016623
Link To Document