1
Udgivet 2015
Indholdsfortegnelse: ...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...
Få fuldtekst
Electronisk eBog
2
Udgivet 2014
Indholdsfortegnelse: ...: model, detection, deblurring -- Software support for Common Criteria security development process...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... for Autonomic Systems with ASSL -- A UML Based Deployment and Management Modeling for Cooperative...
Få fuldtekst
Electronisk eBog
4
Udgivet 2012
Indholdsfortegnelse: ... Agents -- Part III: Model Checking -- Abstraction for Model Checking Modular Interpreted Systems over ATL...
Få fuldtekst
Electronisk eBog
5
Udgivet 2015
Indholdsfortegnelse: ... -- Pyverilog: A Python-Based Hardware Design Processing Toolkit for Verilog HDL -- Special Session 1: Funded R...
Få fuldtekst
Electronisk eBog
6
Udgivet 2007
Indholdsfortegnelse: ... Performance Models Matter for Grid Computing -- Automation of Network-Based Scientific Workflows...
Få fuldtekst
Electronisk eBog