Title :
PLP: an automated tool for the processing of requirements
Author :
Davis, A.M. ; Miller, Thomas J. ; Rhode, Esther ; Taylor, B.J.
Author_Institution :
GTE Laboratories
Keywords :
Error correction; Petri nets; Real time systems; Software testing; Switches; Telephony;
Conference_Titel :
Computer Software and Applications Conference, 1979. Proceedings. COMPSAC 79. The IEEE Computer Society's Third International
DOI :
10.1109/CMPSAC.1979.762507
