Rechercher

[HMBa13] Verifying SystemC with Predicate Abstraction: a Component Based Approach

Conférence Internationale avec comité de lecture : On the 14th International Conference on Information Reuse and Integration (IEEE IRI), August 2013, San Francisco, USA,
motcle:
Equipe: vespa

BibTeX

@inproceedings {
HMBa13,
title="{ Verifying SystemC with Predicate Abstraction: a Component Based Approach}",
author=" N. Harrath and B. Monsuez and K. Barkaoui ",
booktitle="{On the 14th International Conference on Information Reuse and Integration (IEEE IRI)}",
year=2013,
month="August",
address="San Francisco, USA",
}