A design method for embedded software systems
- 1 September 1988
- journal article
- review article
- Published by Springer Nature in BIT Numerical Mathematics
- Vol. 28 (3) , 427-438
- https://doi.org/10.1007/bf01941126
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Language support for changeable large real time systemsPublished by Association for Computing Machinery (ACM) ,1986
- Programming as theory buildingMicroprocessing and Microprogramming, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- The Vienna Development Method: The Meta-LanguageLecture Notes in Computer Science, 1978
- MonitorsCommunications of the ACM, 1974