Formal aspects of component software : 10th international symposium, facs 2013, nanchang, china, october 27-29, 2013, revised selected papers / edited by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 8348Editor: Cham : Springer International Publishing : Springer, 2014Descripción: x, 385 páginas : 132 ilustracionesTipo de contenido:- texto
- computadora
- recurso en línea
- 9783319076027
- QA76.758
Contenidos:
Probabilistic modal specifications -- Orchestration -- Super-dense computation in verification of Hybrid CSP Processes -- A proof-carrying code approach to certificate auction mechanisms -- Towards verification of ensemble based component systems.
No hay ítems correspondientes a este registro
Springer eBooks
Probabilistic modal specifications -- Orchestration -- Super-dense computation in verification of Hybrid CSP Processes -- A proof-carrying code approach to certificate auction mechanisms -- Towards verification of ensemble based component systems.
Para consulta fuera de la UANL se requiere clave de acceso remoto.