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.