On the fly model checking of communicating UML state machines (Contributo in atti di convegno)

Type
Label
  • On the fly model checking of communicating UML state machines (Contributo in atti di convegno) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Alternative label
  • Gnesi S.; Mazzanti F. (2004)
    On the fly model checking of communicating UML state machines
    in Second ACIS International Conference on Software Engineering Research Management and Applications (SERA2004), Los Angeles
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Gnesi S.; Mazzanti F. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • (USA, 5-7 May 2004). Proceedings, pp. 331-338. (literal)
Titolo
  • On the fly model checking of communicating UML state machines (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it