DocumentCode :
3195836
Title :
Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems
fYear :
2001
fDate :
11-13 June 2001
Abstract :
The following topics were dealt with: complex computer systems engineering; real-time systems; formal specification; formal verification; industrial experience; system design; software architecture; software testing; and systems analysis and modeling
Keywords :
formal specification; formal verification; program testing; real-time systems; software architecture; systems engineering; complex computer systems engineering; formal specification; formal verification; industrial experience; modeling; real-time systems; software architecture; software testing; system design; systems analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Complex Computer Systems, 2001. Proceedings. Seventh IEEE International Conference on
Conference_Location :
Skovde, Sweden
Print_ISBN :
0-7695-1159-7
Type :
conf
DOI :
10.1109/ICECCS.2001.930157
Filename :
930157
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3195836
بازگشت