Automatic verification of a lip synchronisation algorithm using UPPAAL - extended version
Contributo in Atti di convegno
Data di Pubblicazione:
1998
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Elenco autori:
Massink, Mieke; Latella, Diego
Link alla scheda completa:
Titolo del libro:
Proceedings of the 3th workshop on Formal Methods for Industrial Critical Systems