toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI (up) Volume Pages Links
Mancini, Toni ; Mari, Federico ; Massini, Annalisa; Melatti, Igor; Tronci, Enrico System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation 2014 Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing IEEE Computer Society 10.1109/PDP.2014.32 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: