Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten. QRML: A Component Language and Toolset for Quality and Resource Management. In Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020. pages 1-8, IEEE, 2020. [doi]
Abstract is missing.