A practical introduction to PSL
A Practical Introduction to PSL describes the Property Specification Language PSL, recently standardized as IEEE Std 1850-2005. PSL provides a way to express properties of a design. Both authors, Cindy Eisner (IBM Haifa Research Laboratory, Haifa University Campus, Haifa, Israel) and Dana Fisman (Th...
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Boston, MA :
Springer US : Springer e-books
[20..].
Cham : Springer Nature |
| Sarja: | Series on Integrated Circuits and Systems
|
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • A practical introduction to PSL, Cindy Eisner, Dana Fisman, New York, Springer, 2006, 1 vol. (XV-240 p.), 978-0-387-35313-5 |