DocumentCode :
3131304
Title :
Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems
fYear :
2004
fDate :
16-16 April 2004
Abstract :
Presents the cover from the proceedings of this conference.
Keywords :
computer networks; formal specification; formal verification; software architecture; software tools; telecommunication security; architecture driven modelling; burning problems; case studies; computer networks; computer security; formal specification; formal validation; managing complexity; software development;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering Complex Computer Systems, 2004. Proceedings. Ninth IEEE International Conference on
Conference_Location :
Florence, Italy
ISSN :
1050-4729
Print_ISBN :
0-7695-2109-6
Type :
conf
DOI :
10.1109/ICECCS.2004.1310891
Filename :
1310891
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3131304
بازگشت