Efficient automata-based assertion-checker synthesis of PSL properties

Boulé, Marc et 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.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

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

Type de document:	Compte rendu de conférence
Professeur:	Professeur Boulé, Marc
Affiliation:	Autres
Date de dépôt:	14 oct. 2022 20:47
Dernière modification:	14 oct. 2022 20:47
URI:	https://espace2.etsmtl.ca/id/eprint/25637

Actions (Authentification requise)

Dernière vérification avant le dépôt