Login
- Autor(en):
- Tabacaru, Bogdan Andrei; Chaari, Moomen; Ecker, Wolfgang; Kruse, Thomas; Novello, Cristiano
- Titel:
- {Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation}
- Zeitschriftentitel:
- Digital System Design (DSD), 2016 Euromicro Conference on
- Jahr:
- 2016
- Seitenangaben Beitrag:
- 1--8
- Volltext / DOI:
- doi:10.1109/DSD.2016.14
BibTeX