Rigorous Design (Altre pubblicazioni)

Type

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

Label

• Rigorous Design (Altre pubblicazioni) (literal)

Anno

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

Alternative label

• Latella D.; Massink M.; Norman G.; Parker D. (2004)
  Rigorous Design
  
  (literal)

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

• Latella D.; Massink M.; Norman G.; Parker D. (literal)

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

• Chapter 15 of CaberNet Vision of Research and Technology Development in Distributed and Dependable Systems. EU Network of Excellence. Project report IST-2000-25088, 2004. (literal)

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

• Chapter 15 of CaberNet Vision of Research and Technology Development in Distributed and Dependable Systems. EU Network of Excellence No. IST-2000-25088. (literal)

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

• ABSTRACT: This chapter is concerned with the modeling and analysis of distributed systems using formal methods. (literal)

Note

• uMa (literal)

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

• Altro (literal)

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

• CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; Birmingham University, UK; Birmingham University, UK (literal)

Titolo

• Rigorous Design (literal)

Abstract

• This chapter is concerned with the modeling and analysis of distributed systems using formal methods. (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)

Insieme di parole chiave

• Keywords of "Rigorous Design" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Insieme di parole chiave di

• Keywords of "Rigorous Design" (Insieme di parole chiave)