A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip
Author: | Tomas Grimm, Michael Hübner, Djones Lettnin |
---|---|
DOI: | https://doi.org/10.3390/electronics7060081 |
ISSN: | 2079-9292 |
Title of the source (English): | Electronics |
Document Type: | Scientific journal article peer-reviewed |
Language: | English |
Year of publication: | 2018 |
Volume/Year: | 7 |
Issue number: | 6 |
Number of pages: | 24 |
Article number: | ID 81 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Technische Informatik |