Learning and Practice of the Property Specification Language (Rassegne, recensioni, prefazioni)

Type

• Rassegne, recensioni, prefazioni (Classe)
• Prodotto della ricerca (Classe)

Label

• Learning and Practice of the Property Specification Language (Rassegne, recensioni, prefazioni) (literal)

Anno

• 2011-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/MDT.2011.111 (literal)

Alternative label

• Troquard, Nicolas (2011)
  Learning and Practice of the Property Specification Language
  
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Troquard, Nicolas (literal)

Pagina inizio

• 110 (literal)

Pagina fine

• 111 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• ID_PUMA: /cnr.istc/2011-ED-002. - Area di valutazione 01 - Scienze matematiche e informatiche (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://origin-www.computer.org/plugins/dl/pdf/mags/dt/2011/05/mdt2011050110.pdf?template=1&loginState=1&userData=anonymous-IP%253A%253AAddress%253A%2B92.122.215.84%252C%2B%255B140.98.196.191%252C%2B150.146.65.159%252C%2B92.122.215.84%252C%2B127.0.0.1%255D (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 28 (literal)

Rivista

• IEEE design & test of computers (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatori

• Troquard, Nicolas (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

• 5 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTC, Trento (literal)

Titolo

• Learning and Practice of the Property Specification Language (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#tipoDiCuratela

• Periodico (literal)

Abstract

• This is a review of A Practical Introduction to PSL (Springer, 2006) by Cindy Eisner and Dana Fisman. It is an excellent manual for engineers. The author explains why, seven years after the IEEE standardization, the absence of a textbook on PSL for the general academic community might be restraining the future development of hardware verification in industrial system designs. (literal)

Prodotto di

• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Servizi applicativi autonomici per infrastrutture critiche (ICT.P05.001.001) (Modulo)

Autore CNR

• Nicolas Troquard (Persona)

Insieme di parole chiave

• Keywords of "Learning and Practice of the Property Specification Language" (Insieme di parole chiave)

Incoming links:

Prodotto

• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Servizi applicativi autonomici per infrastrutture critiche (ICT.P05.001.001) (Modulo)

Autore CNR di

• Nicolas Troquard (Persona)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• IEEE design & test of computers (Rivista)

Insieme di parole chiave di

• Keywords of "Learning and Practice of the Property Specification Language" (Insieme di parole chiave)