• search hit 8 of 84
Back to Result List

A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip

Export metadata

Additional Services

Search Google Scholar
Metadaten
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.