DocumentCode :
3156195
Title :
Advances in software specification and verification introduction to minitrack
Author :
Sobel, Ann E Kelley ; Linger, Richard C.
Author_Institution :
Miami University
fYear :
2001
fDate :
6-6 Jan. 2001
Firstpage :
3975
Lastpage :
3975
Abstract :
Provides an overview of the technical articles and features presented in this minitrack.
Keywords :
Application software; Automatic testing; Computer science; Control theory; Documentation; Protocols; Software engineering; Software testing; Streaming media; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System Sciences, 2001. Proceedings of the 34th Annual Hawaii International Conference on
Conference_Location :
Maui, HI, USA
Print_ISBN :
0-7695-0981-9
Type :
conf
DOI :
10.1109/HICSS.2001.927262
Filename :
927262
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3156195
بازگشت