Benutzer: Gast  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