Provably dependable software architectures

International Software Architecture Workshop, Proceedings, ISAW

Volumn , Issue , 1998, Pages 133-136

  Stavridou, Victoria ^a   Riemenschneider, R A ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANT COMPUTER SYSTEMS; SECURITY OF DATA;

ARCHITECTURE DESCRIPTION LANGUAGES (ADL);

COMPUTER ARCHITECTURE;

EID: 0031606031     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/288408.288442     Document Type: Article

References (5)