DocumentCode :
2493807
Title :
Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000
fYear :
2000
fDate :
5-8 June 2000
Firstpage :
233
Abstract :
The following topics were dealt with: complex computer systems engineering; reactive systems; system modeling; systems development; network software; embedded, concurrent and distributed systems; SOFL formal engineering method; program testing and verification; and communication and control systems
Keywords :
computer architecture; computerised control; distributed processing; embedded systems; program testing; software engineering; systems engineering; SOFL; communication systems; complex computer systems engineering; concurrent systems; control systems; distributed systems; embedded systems; formal engineering method; network software; program testing; program verification; reactive systems; system modeling; systems development;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Transparent Optical Networks, 2000 2nd International Conference on
Conference_Location :
Gdansk, Poland
Print_ISBN :
0-7803-6337-X
Type :
conf
DOI :
10.1109/ICTON.2000.874164
Filename :
874164
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2493807
بازگشت