EnglishThe 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: | |
| Anno del prodotto: | 2011 |
| Rivista: | |
| Citazione: | Concurrency and Interaction in Complex Systems / BEN MOKHTAR A; BLIUDZE S; BRUNI R; SILVA A; TROINA A. - In: SCIENTIFIC ANNALS OF COMPUTER SCIENCE. - ISSN 1843-8121. - STAMPA. - 21:1(2011), pp. 1-4. |
| 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.
Copyright © 2018