DocumentCode

338099

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

fYear

1979

fDate

1979

Firstpage

289

Lastpage

299

Keywords

Error correction; Petri nets; Real time systems; Software testing; Switches; Telephony;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1979. Proceedings. COMPSAC 79. The IEEE Computer Society's Third International

Type

conf

DOI

10.1109/CMPSAC.1979.762507

Filename

762507