Transitions as interrupts: a new semantics for timed Statecharts / A., Maggiolo Schettini; Peron, Adriano. - STAMPA. - 789:(1994), pp. 806-821. [10.1007/3-540-57887-0_126]
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


