Treffer: Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems

Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems
Real-time systems and concurrent and distributed software: Transformation-based reactive systems development

Smarandache, I., Le Guernic, P.

LECTURE NOTES IN COMPUTER SCIENCE. (1231):233-247

http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN019308322&indx=1&recIds=ETOCCN019308322

British Library Document Supply Centre Inside Serials & Conference Proceedings