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