Formal aspects of component software :
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.
- x, 385 páginas : 132 ilustraciones
- Lecture Notes in Computer Science, 8348 0302-9743 ; .
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.
9783319076027
QA76.758
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.
9783319076027
QA76.758