Modeling long-running transactions with communicating hierarchical timed automata / LANOTTE R; MAGGIOLO-SCHETTINI A; MILAZZO P; TROINA A. - Springer LNCS 4037(2006), pp. 108-122. ((Intervento presentato al convegno 8th IFIP Int. Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06) tenutosi a Bologna, Italy nel 14-16 June 2006.
Titolo: | Modeling long-running transactions with communicating hierarchical timed automata |
Autori interni: | |
Anno del prodotto: | 2006 |
Rivista: | |
Handle: | http://hdl.handle.net/11568/204865 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
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.