Formal design and testing of MIL-STD 188-220A based on Estelle

Proceedings - IEEE Military Communications Conference MILCOM

Volumn 2, Issue , 1997, Pages 716-722

  Fecko, Mariusz A ^a   Amer, Paul D ^a   Sethi, Adarshpal S ^a   Dzik, Ted ^a   Menell, Raymond ^a   Uyar, M Umit ^a   McMahon, Mike ^a  

^a UNIVERSITY OF DELAWARE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA COMMUNICATION SYSTEMS; GRAPH THEORY; NETWORK PROTOCOLS; OPTIMIZATION; STANDARDS; TELECOMMUNICATION LINKS;

ESTELLE SPECIFICATIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0031343423     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)