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...
Kaydedildi:
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Boston, MA :
Springer US : Springer e-books
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Series on Integrated Circuits and Systems
|
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
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 |