Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
models generating » model generation, models generalized, models integrating
generating java » generating data, generating a, generating fast
integer java » integer data, integer base, integer dea
java models » data models, java modul, maa models
https » http
models generating » model generation, models generalized, models integrating
generating java » generating data, generating a, generating fast
integer java » integer data, integer base, integer dea
java models » data models, java modul, maa models
https » http
1
Pubblicazione 2012
Sommario:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”Testo
Elettronico
eBook
2
Pubblicazione 2007
Sommario:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Testo
Elettronico
eBook
3
Pubblicazione 2006
Sommario:
“... -- Algorithms for Stochastic CSPs -- Graph Properties Based Filtering -- The ROOTS Constraint -- CoJava...”Testo
Elettronico
eBook
4
Pubblicazione 2005
Sommario:
“... Markov Model Cryptanalysis -- Low Resources -- Energy-Efficient Software Implementation of Long Integer...”Testo
Elettronico
eBook