TU Darmstadt / ULB / TUbiblio

When are Software Verification Results valid for Approximate Hardware?

Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike Beyer, Dirk and Keller, Chantal (eds.) (2019):
When are Software Verification Results valid for Approximate Hardware?
In: TAP 2019-13th International Conference on Tests and Proofs, Porto, Portugal, 9.-11.10.2019, ISBN 978-3-030-31157-5,
DOI: 10.1007/978-3-030-31157-5_1,
[Online-Edition: https://link.springer.com/book/10.1007/978-3-030-31157-5],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2019
Editors: Beyer, Dirk and Keller, Chantal
Creators: Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike
Title: When are Software Verification Results valid for Approximate Hardware?
Language: English
ISBN: 978-3-030-31157-5
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Semantics and Verification of Concurrent Programs
Event Title: TAP 2019-13th International Conference on Tests and Proofs
Event Location: Porto, Portugal
Event Dates: 9.-11.10.2019
Date Deposited: 11 Dec 2019 09:28
DOI: 10.1007/978-3-030-31157-5_1
Official URL: https://link.springer.com/book/10.1007/978-3-030-31157-5
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details