Behavioral analysis of software architectures using LTSA

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1999, Pages 634-637

  Magee, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; CONCURRENCY CONTROL; CONCURRENT ENGINEERING; MATHEMATICAL MODELS;

BEHAVIORAL MODELS; LABELED TRANSITION SYSTEM ANALYZER (LTSA);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032667113     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/302405.302726     Document Type: Article

References (0)