Automated verification of groupware protocols (Articolo in rivista)

Type
Label
  • Automated verification of groupware protocols (Articolo in rivista) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Alternative label
  • ter Beek M.H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. (2004)
    Automated verification of groupware protocols
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • ter Beek M.H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. (literal)
Pagina inizio
  • 33 (literal)
Pagina fine
  • 35 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 58 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Ercim News N. 58 (2004), pp. 33-35. Special Theme: Automated Software Engineering (literal)
Titolo
  • Automated verification of groupware protocols (literal)
Abstract
  • Recently, researchers from the Formal Methods and Tools (FM&&T) group of ISTI-CNR teamed up with researchers from think3, a global provider of integrated product development solutions. The goal was to apply formal modelling and verification techniques to enhance think3's Product Data Management (PDM) application, 'thinkteam' (a registered trademark of think3 Inc) with a publish/subscribe notification service. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it