Formal methods for the re-engineering of computing systems: A comparison

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

Volumn , Issue , 1997, Pages 409-414

  Liu, X ^a   Yang, H ^a   Zedan, H ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER NETWORKS; COMPUTER SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS;

COMPUTING SYSTEMS REENGINEERING;

SYSTEMS ENGINEERING;

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

References (34)