Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
integration verification » integrity verification, location verification, integration applications
verification processing » verification proceedings, verification process, verification processes
programmed control » programmers control, programming control, programs control
https » http
integration verification » integrity verification, location verification, integration applications
verification processing » verification proceedings, verification process, verification processes
programmed control » programmers control, programming control, programs control
https » http
1
Pubblicazione 2013
Sommario:
“... Verification Using Network Flow Model -- Performance Evaluation of Process Partitioning Using Probabilistic...”Testo
Elettronico
eBook
2
Sommario:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Testo
Testo
Elettronico
eBook
3
Pubblicazione 2008
Sommario:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Testo
Elettronico
eBook
4
Pubblicazione 2012
Sommario:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”Testo
Elettronico
eBook
5
Pubblicazione 2012
Sommario:
“... the Verification of Adaptable Processes.- Runtime Verification: The Application Perspective.- What Does AI Have...”Testo
Elettronico
eBook
6
Pubblicazione 2010
Sommario:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”Testo
Elettronico
eBook
7
Pubblicazione 2007
Sommario:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Testo
Elettronico
eBook
8
Pubblicazione 2006
Sommario:
“... -- Test of the ICARE Platform Fusion Mechanism -- A Method for the Verification of Haptic Algorithms -- A...”Testo
Elettronico
eBook
9
Pubblicazione 2014
Sommario:
“... -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability...”Testo
Elettronico
eBook
10
Pubblicazione 2014
Sommario:
“... Integration in the Networked Healthcare Processes and Data Integration in the Networked Healthcare -- Simple...”Testo
Elettronico
eBook
11
Pubblicazione 2007
Sommario:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”Testo
Elettronico
eBook
12
Pubblicazione 2008
Sommario:
“... Images -- Biomedical Applications -- Digital Signal Processing Techniques for Gene Finding in Eukaryotes...”Testo
Elettronico
eBook
13
Pubblicazione 2006
Sommario:
“... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...”Testo
Elettronico
eBook
14
Pubblicazione 2005
Sommario:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Testo
Elettronico
eBook
15
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Pubblicazione 2013
Sommario:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Testo
Elettronico
eBook
16
Pubblicazione 2010
Sommario:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Testo
Elettronico
eBook
17
Pubblicazione 2008
Sommario:
“... Hybrid System Identification -- Verification of Supervisory Control Software Using State Proximity...”Testo
Elettronico
eBook
18
Pubblicazione 2005
Sommario:
“...Digital Image and Signal Processing -- Fourier Descritpor-Based Deformable Models for Segmentation...”Testo
Elettronico
eBook
19
Pubblicazione 2005
Sommario:
“... Based Logs -- Behavior Based Integration of Composite Business Processes -- Visualization Support...”Testo
Elettronico
eBook
20
Pubblicazione 2005
Sommario:
“... in Architecture-Related Process Improvement – A Case Study -- Improved Control of Automotive Software Suppliers...”Testo
Elettronico
eBook