Merlot: a tool for analysis of real-time specifications

Contributo in Atti di convegno
Data di Pubblicazione:
1993
Citazione:
Merlot: a tool for analysis of real-time specifications / C. Bellettini, M. Felder, M. Pezze - In: Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on[s.l] : IEEE, 1993. - ISBN 0-8186-4360-9. - pp. 110-119 (( convegno International Workshop on Software Specification and Design [10.1109/IWSSD.1993.315507].
Tipologia IRIS:
03 - Contributo in volume
Elenco autori:
C. Bellettini, M. Felder, M. Pezze
Autori di Ateneo:
BELLETTINI CARLO NICOLA MARIA ( autore )
Link alla scheda completa:
https://air.unimi.it/handle/2434/239491
Titolo del libro:
Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on

Aree Di Ricerca

Settori


Settore INF/01 - Informatica