Pragmatic, rigorous integration of structural and behavioral modeling notations

Proceedings of the International Conference on Formal Engineering Methods, ICFEM

Volumn , Issue , 1997, Pages 38-48

  Berry, Daniel M ^a   Weber, Matthias ^a  

^a FRAUNHOFER FIRST   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; FORMAL LANGUAGES; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING;

MODELING NOTATIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (17)