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