CNR Institutional Research Information System

Automatic verification of a lip synchronisation algorithm using UPPAAL - extended version

LATELLA D;MASSINK M
1998
1998
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
Proceedings of the 3th workshop on Formal Methods for Industrial Critical Systems
3th workshop on Formal Methods for Industrial Critical Systems
97
123
9061964806
Sì, ma tipo non specificato
2
none
H.BOWMAN; G.FACONTI; J.KATOEN; LATELLA D; MASSINK M
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
04.01 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/233871
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact