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 : 75.
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 |