The authors emphasize the actual relevance and need of formal methods for the advancements of complex systems, and present briefly the other papers contained in this issue.
Titolo: | Concurrency and Interaction in Complex Systems | |
Autori interni: | ||
Anno del prodotto: | 2011 | |
Rivista: | SCIENTIFIC ANNALS OF COMPUTER SCIENCE | |
Abstract: | The authors emphasize the actual relevance and need of formal methods for the advancements of complex systems, and present briefly the other papers contained in this issue. | |
Handle: | http://hdl.handle.net/11568/146354 | |
Appare nelle tipologie: | 1.5 Abstract in rivista |
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.