Semantical aspects of an architecture for distributed embedded systems
- 19 March 2000
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 149-155
- https://doi.org/10.1145/335603.335731
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Comparing coordination models based on shared distributed replicated dataPublished by Association for Computing Machinery (ACM) ,1999
- A software architecture for distributed control systems and its transition system semanticsPublished by Association for Computing Machinery (ACM) ,1998
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Control systems softwareIEEE Transactions on Automatic Control, 1993
- Specification and Compositional Verification of Real-Time SystemsPublished by Springer Nature ,1991