1
Publicado em 2015
Sumário: ...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2014
Sumário: ...: model, detection, deblurring -- Software support for Common Criteria security development process...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... for Autonomic Systems with ASSL -- A UML Based Deployment and Management Modeling for Cooperative...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2012
Sumário: ... Agents -- Part III: Model Checking -- Abstraction for Model Checking Modular Interpreted Systems over ATL...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2015
Sumário: ... -- Pyverilog: A Python-Based Hardware Design Processing Toolkit for Verilog HDL -- Special Session 1: Funded R...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2007
Sumário: ... Performance Models Matter for Grid Computing -- Automation of Network-Based Scientific Workflows...
Obter o texto integral
Recurso Electrónico livro electrónico