|
Volumn , Issue , 2000, Pages 21-31
|
Specifying and verifying reconfigurable software architectures
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
COMPUTER ARCHITECTURE;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SOFTWARE;
DATA STRUCTURES;
ARCHITECTURAL DESCRIPTION LANGUAGES;
MODULE INTERCONNECTION LANGUAGES;
SOFTWARE ARCHITECTURES;
SYSTEM STRUCTURE;
CLIENT SERVER COMPUTER SYSTEMS;
|
EID: 0033717805
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/pdse.2000.847847 Document Type: Conference Paper |
Times cited : (11)
|
References (23)
|