A formal testing framework for {UML Statechart Diagrams} behaviours: From theory to automatic verification (Contributo in atti di convegno)

Type
Label
  • A formal testing framework for {UML Statechart Diagrams} behaviours: From theory to automatic verification (Contributo in atti di convegno) (literal)
Anno
  • 2001-01-01T00:00:00+01:00 (literal)
Alternative label
  • Latella D.; Massink M. (2001)
    A formal testing framework for {UML Statechart Diagrams} behaviours: From theory to automatic verification
    in Sixth IEEE International High-Assurance Systems Engineering Symposium
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Latella D.; Massink M. (literal)
Pagina inizio
  • 11 (literal)
Pagina fine
  • 22 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Sixth IEEE International High-Assurance Systems Engineering Symposium (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Sixth IEEE International High-Assurance Systems Engineering Symposium (Boca Raton, Florida). Proceedings, pp. 11--22. A.~Jacobs (ed). IEEE Computer Society Press, 2001. ISBN0-7695-1275-5 (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-CNUCE; CNR-CNUCE (literal)
Titolo
  • A formal testing framework for {UML Statechart Diagrams} behaviours: From theory to automatic verification (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 0-7695-1275-5 (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it