Verfasser Suchresultate :: Subito Katalog

1

Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic

von Simić, Stella
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Tight Error Analysis in Fixed-Point Arithmetic

von Simic, Stella
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: