Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (Rassegne, recensioni, prefazioni)

Type

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

Label

• Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (Rassegne, recensioni, prefazioni) (literal)

Anno

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

Alternative label

• Massink M.; Harrison M. (2009)
  Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems
  
  (literal)

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

• Massink M.; Harrison M. (literal)

Pagina inizio

• 1/3 (literal)

Pagina fine

• 3/3 (literal)

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

• http://journal.ub.tu-berlin.de/eceasst/issue/view/33 (literal)

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

• 22 (literal)

Rivista

• Electronic communications of the EASST (Rivista)

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

• In: Electronic Communications of the EASST. Editorial, vol. 22 article n. 1. European Association of Software Science and Technology, 2009. (literal)

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

• ABSTRACT: Preface to the third International Workshop on Formal Methods for Interactive Systems held on November 2, 2009 in Eindhoven, The Netherlands. (literal)

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

• Altro (literal)

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

• CNR-ISTI, Pisa, Newcastle University (literal)

Titolo

• Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (literal)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• MIEKE MASSINK (Unità di personale interno)

Insieme di parole chiave

• Keywords of "Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

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

• Electronic communications of the EASST (Rivista)

Insieme di parole chiave di

• Keywords of "Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems" (Insieme di parole chiave)