Title :
Advances in software specification and verification introduction to minitrack
Author :
Sobel, A.E.K. ; Linger, R.C.
Author_Institution :
Miami University
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;
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
DOI :
10.1109/HICSS.2000.926732
