DocumentCode
3146252
Title
Advances in software specification and verification introduction to minitrack
Author
Sobel, A.E.K. ; Linger, R.C.
Author_Institution
Miami University
fYear
2000
fDate
7-7 Jan. 2000
Firstpage
1143
Lastpage
1143
Abstract
Provides an overview of the technical articles and features presented in this minitrack.
Keywords
Application software; Communication system software; Finance; Information systems; Medical services; Power engineering and energy; Road transportation; Software systems; Strategic planning; Wrapping;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 2000. Proceedings of the 33rd Annual Hawaii International Conference on
Conference_Location
Maui, HI, USA
Print_ISBN
0-7695-0493-0
Type
conf
DOI
10.1109/HICSS.2000.926732
Filename
926732
Link To Document