Using TILCO for specifying real-time systems / R. Mattolini, P. Nesi. - STAMPA. - (1996), pp. 18-25. (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.



