Deriving complexity information from a formal communication protocol specification

Software - Practice and Experience

Volumn 28, Issue 14, 1998, Pages 1465-1491

  Huang, Sun Jen ^a   Lai, Richard ^a  

^a LA TROBE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL DESCRIPTION TECHNIQUES; SOFTWARE METRICS; SOFTWARE PACKAGE ESTELLE;

DATA COMMUNICATION SYSTEMS; FORMAL LANGUAGES; LARGE SCALE SYSTEMS; NETWORK PROTOCOLS;

SOFTWARE ENGINEERING;

EID: 0032301507     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(19981210)28:14<1465::AID-SPE187>3.0.CO;2-H     Document Type: Article

References (21)