Transformations on hierarchical predicate transition nets: refinements and abstractions

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 1998, Pages 164-169

  He, Xudong ^a  

^a NORTH DAKOTA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; LARGE SCALE SYSTEMS; PETRI NETS; PROGRAM TRANSLATORS; SYSTEMS ANALYSIS;

HIERARCHICAL PREDICATE TRANSITION NETS; REFINEMENT RULES; SPECIFICATION METHODS;

PROGRAM DIAGNOSTICS;

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

References (30)