Specification and Analysis of Timed and Functional TRMCS Behaviours / CIOFFI M.; F. CORRADINI. - IWSSD-10(2000), pp. 31-38. ((Intervento presentato al convegno 10th International Workshop on Software Specification and Design tenutosi a Shelter Island, San Diego, California, USA nel November 5-7, 2000.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Specification and Analysis of Timed and Functional TRMCS Behaviours |
Autori: | |
Data di pubblicazione: | 2000 |
Handle: | http://hdl.handle.net/11581/111690 |
ISBN: | 9780769508849 |
Appare nelle tipologie: | Contributo in atto di convegno su volume |
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.