Transactions on Computational Collective Intelligence : XVI /
Contiene: Reparación no intrusiva de violaciones de seguridad y vida en programas reactivos; Diseño de sistemas adaptativos utilizando agentes teleo-reactivos; Hacia el modelado formal y la verificación de sistemas informáticos generalizados; Revisando los modelos de estrategias comerciales algorítm...
Guardado en:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | 图书 |
| 语言: | 英语 |
| 出版: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| 丛编: | (Lecture Notes in Computer Science ;
8780) |
| 主题: | |
| 在线阅读: | Ver documento en línea |
| 标签: |
没有标签, 成为第一个标记此记录!
|
成为第一个发表评论!