Verifying SDL programs using Petri nets

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 1998, Pages 208-213

  Husberg, Nisse ^a  

^a Technical Univ of Helsinki   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DIGITAL COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; INDUSTRIAL APPLICATIONS;

CONCURRENT SYSTEMS; NET STRUCTURE;

PETRI NETS;

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

References (9)