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

Official URL: https://doi.org/10.1109/HLDVT.2006.319966

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