Specifying distributed computer architectures in AADL

Publisher Website

1 January 1989

journal article
Published by Elsevier in Parallel Computing

Vol. 9 (2) , 193-211
https://doi.org/10.1016/0167-8191(89)90128-2

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

The AADL/S* Approach to Firmware Design Verification
IEEE Software, 1986
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems, 1986
Petri Nets
Published by Springer Nature ,1985
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems, 1983
Communicating sequential processes
Communications of the ACM, 1978