Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni)

Type

• Altre pubblicazioni (Classe)
• Prodotto della ricerca (Classe)

Label

• Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni) (literal)

Anno

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

Alternative label

• Ter Beek M. H.; Gnesi S.; Latella D.; Massink M.; Sebastianis M.; Trentanni G. (2008)
  Assisting the design of an industrial groupware system by model checking
  
  (literal)

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

• Ter Beek M. H.; Gnesi S.; Latella D.; Massink M.; Sebastianis M.; Trentanni G. (literal)

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

• Articolo di Divulgazione Scientifica (literal)

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

• 73 (literal)

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

• CNR-ISTI, CNR-ISTI, CNR-ISTI, CNR-ISTI, think3, CNR-ISTI (literal)

Titolo

• Assisting the design of an industrial groupware system by model checking (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

• STEFANIA GNESI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale interno)
• GIANLUCA TRENTANNI (Persona)
• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)
• STEFANIA GNESI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale interno)
• GIANLUCA TRENTANNI (Persona)

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)