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

Stefan Fischer*

*Korrespondierende/r Autor/-in für diese Arbeit

Fingerprint

Untersuchen Sie die Forschungsthemen von „Towards the automatic generation of quality-of-service-preserving implementations from formal specifications“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science