MCLab Group List of Papers
Home
|
Show All
|
Simple Search
|
Advanced Search
Login
Quick Search:
Field:
main fields
author
title
publication
keywords
abstract
contains:
...
1–1 of 1 record found matching your query (
RSS
):
Search & Display Options
Search within Results:
Field:
author
title
year
keywords
abstract
type
publication
abbrev_journal
volume
issue
pages
thesis
publisher
place
editor
series_title
language
area
issn
isbn
notes
call_number
serial
contains:
...
Exclude matches
Display Options:
Field:
all fields
keywords & abstract
additional fields
records per page
Select All
Deselect All
<<
1
>>
List View
|
Citations
|
Details
Record
Links
Author
Mancini, Toni ; Mari, Federico ; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Title
System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation
Type
Conference Article
Year
2014
Publication
Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing
Abbreviated Journal
Euromicro International Conference on Parallel, Distributed and Network-Based Processing
Volume
Issue
Pages
Keywords
Abstract
Address
Corporate Author
Thesis
Publisher
IEEE Computer Society
Place of Publication
Editor
Language
Summary Language
Original Title
Series Editor
Series Title
Abbreviated Series Title
Series Volume
Series Issue
Edition
ISSN
ISBN
Medium
Area
Expedition
Conference
Notes
Approved
no
Call Number
Sapienza @ melatti @
Serial
118
Permanent link to this record
Select All
Deselect All
<<
1
>>
List View
|
Citations
|
Details
Home
Library Search
|
Show Record
|
Extract Citations
Help