Specification Of Embedded, Real-time Systems.

Jens Ulrik Skakkebk, Anders P. Ravn, Hans Rischel, Chaochen Zhou

Browse the full ECRTS paper archive.