Towards the automatic generation of quality-of-service-preserving implementations from formal specifications

Stefan Fischer*

*Corresponding author for this work

Fingerprint

Dive into the research topics of 'Towards the automatic generation of quality-of-service-preserving implementations from formal specifications'. Together they form a unique fingerprint.

Engineering & Materials Science