Eintrag in der Universitätsbibliographie der TU Chemnitz
Devadze, Grigory* ; Flessing, Lars* ; Streif, Stefan*
Formal Verification of a Controller Implementation in Fixed-Point Arithmetic
Universität: | Technische Universität Chemnitz | |
Institut: | Professur Regelungstechnik und Systemdynamik | |
Dokumentart: | Konferenzbeitrag, referiert | |
ISBN/ISSN: | Electronic ISBN: 978-3-907144-08-4 ; USB ISBN: 978-3-907144-09-1 ; Print on Demand(PoD) ISBN: 978-1-6654-6531-1 | |
DOI: | doi:10.23919/ecc57647.2023.10178283 | |
Quelle: | European Control Conference (ECC) 2023, 13.06.-16.06.2023, Bucharest, Romania. - IEEE, 2023 | |
Freie Schlagwörter (Englisch): | Instruction sets , Europe , Registers , Formal verification , Fixed-point arithmetic |