Specification Of Embedded, Real-time Systems

Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou. Specification Of Embedded, Real-time Systems. In Fourth Euromicro workshop on Real-Time Systems, RTS 1992, Athens, Greece, June 3-5, 1992, Proceedings. pages 116-121, IEEE, 1992. [doi]

Abstract

Abstract is missing.