FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

Efficient automata-based assertion-checker synthesis of PSL properties

Boulé, Marc and Zilic, Zeljko. 2006. « Efficient automata-based assertion-checker synthesis of PSL properties ». In IEEE International High Level Design Validation and Test Workshop (Monterey, CA, USA, Nov. 08-10, 2006) pp. 69-76. IEEE.
Compte des citations dans Scopus : 41.

The full text of this document is not available here.
Rechercher dans Google Scholar
Item Type: Conference proceeding
Professor:
Professor
Boulé, Marc
Affiliation: Autres
Date Deposited: 14 Oct 2022 20:47
Last Modified: 14 Oct 2022 20:47
URI: https://espace2.etsmtl.ca/id/eprint/25637

Actions (login required)

View Item View Item