Automata-based assertion-checker synthesis of PSL properties

Boulé, Marc et Zilic, Zeljko. 2008. « Automata-based assertion-checker synthesis of PSL properties ». ACM Transactions on Design Automation of Electronic Systems, vol. 13, nº 1.
Compte des citations dans Scopus : 71.

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

Rechercher dans Google Scholar

URL Officielle: https://doi.org/10.1145/1297666.1297670

Type de document:	Article publié dans une revue, révisé par les pairs
Professeur:	Professeur Boulé, Marc
Affiliation:	Autres
Date de dépôt:	14 oct. 2022 20:36
Dernière modification:	14 oct. 2022 20:36
URI:	https://espace2.etsmtl.ca/id/eprint/25628

Actions (Authentification requise)

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