DocumentCode :
1917559
Title :
Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking
fYear :
2001
fDate :
22-24 Oct. 2001
Abstract :
The following topics are dealt with: formal methods; transportation; testing; security systems; railway systems; high assurance systems engineering; and impact of networking
Keywords :
computer networks; formal specification; systems analysis; formal methods; high assurance systems engineering; networking impact; railway systems; security systems; transportation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on
Conference_Location :
Boco Raton, FL, USA
ISSN :
1530-2059
Print_ISBN :
0-7695-1275-5
Type :
conf
DOI :
10.1109/HASE.2001.966802
Filename :
966802
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1917559
بازگشت