Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
interactive simulation » interactive simulations, interactive visualization
simulation program » education program
program verifier » program series
verifier array » verifier proxy
https » http
interactive simulation » interactive simulations, interactive visualization
simulation program » education program
program verifier » program series
verifier array » verifier proxy
https » http
1
Publicado 2015
Tabla de Contenidos:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”Enlace del recurso
Electrónico
eBook
2
Publicado 2012
Tabla de Contenidos:
“...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”Enlace del recurso
Electrónico
eBook
3
Publicado 2014
Tabla de Contenidos:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Enlace del recurso
Electrónico
eBook
4
Publicado 2010
Tabla de Contenidos:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Enlace del recurso
Electrónico
eBook
5
Tabla de Contenidos:
“... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook