UMC V3.3 (Manufatti, prototipi d'arte e relativi progetti)

Type

• Manufatti, prototipi d'arte e relativi progetti (Classe)
• Prodotto della ricerca (Classe)

Label

• UMC V3.3 (Manufatti, prototipi d'arte e relativi progetti) (literal)

Anno

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

Alternative label

• Franco Mazzanti (2006)
  UMC V3.3
  
  (literal)

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

• Franco Mazzanti (literal)

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

• accessibile via web alla pagina http://fmt.isti.cnr.it/umc (literal)

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

• Versione prototipale utilizzata all'interno del progetto SENSORIA (literal)

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

• ISTI-CNR (literal)

Titolo

• UMC V3.3 (literal)

Descrizione sintetica

• Strumento sofware per la modellazzione e la verifica formale (model checking) di sistemi concorrenti descritti tarmite statecharts. (literal)

Prodotto di

• 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)

Autore CNR

• FRANCO MAZZANTI (Persona)

Insieme di parole chiave

• Keywords of "UMC V3.3" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• FRANCO MAZZANTI (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)

Insieme di parole chiave di

• Keywords of "UMC V3.3" (Insieme di parole chiave)