Using TILCO for specifying real-time systems / R. Mattolini;P. Nesi. - STAMPA. - (1996), pp. 18-25. (Intervento presentato al convegno Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW)) [10.1109/ICECCS.1996.558324].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.