DocumentCode :
2733389
Title :
A case study on automation of verification logics
Author :
Dojen, Reiner ; Coffey, Tom
fYear :
2005
fDate :
Sept. 16-19, 2005
Firstpage :
139
Lastpage :
144
Keywords :
Automation; Computer aided software engineering; Data communication; Data security; Design engineering; Humans; Laboratories; Logic design; Logic programming; Protocols;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Intelligent Engineering Systems, 2005. INES '05. Proceedings. 2005 IEEE International Conference on
Print_ISBN :
0-7803-9474-7
Type :
conf
DOI :
10.1109/INES.2005.1555146
Filename :
1555146
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2733389
بازگشت