Specifying distributed computer architectures in AADL

DOI10.1016/0167-8191(89)90128-2zbMath0665.68005OpenAlexW2089688233MaRDI QIDQ1116320

G. Döhmen, Werner Damm

Publication date: 1989

Published in: Parallel Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-8191(89)90128-2

zbMATH Keywords

formal verificationformal specificationarchitecture description languagemultiprocessordistributed computer architectureshierarchic design

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99)

This page was built for publication: Specifying distributed computer architectures in AADL