Rekommenderade teman
Rekommenderade teman
Menade du:
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programmed » processing programmed
programmed concepts » programme concepts, programming concepts, programs concepts
https » http
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programmed » processing programmed
programmed concepts » programme concepts, programming concepts, programs concepts
https » http
1
Publicerad 2013
Innehållsförteckning:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2007
Innehållsförteckning:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2012
Innehållsförteckning:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2005
Innehållsförteckning:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Hämta fulltext
Elektronisk
E-bok
5
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicerad 2013
Innehållsförteckning:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Hämta fulltext
Elektronisk
E-bok
6
Innehållsförteckning:
“... -- The TVPI Abstract Domain -- The Integral TVPI Domain -- Interfacing Analysis and Numeric Domain...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2006
Innehållsförteckning:
“... -- Test of the ICARE Platform Fusion Mechanism -- A Method for the Verification of Haptic Algorithms -- A...”Hämta fulltext
Elektronisk
E-bok
8
Innehållsförteckning:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2012
Innehållsförteckning:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2010
Ämnen:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2010
Innehållsförteckning:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2007
Innehållsförteckning:
“... Framework for Integrating New Functionalities into Software Architectures -- Beyond ATAM: Architecture...”Hämta fulltext
Elektronisk
E-bok
13
Ämnen:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
14
Innehållsförteckning:
“... Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2008
Innehållsförteckning:
“... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2007
Innehållsförteckning:
“... with VHDL-AMS -- Baseband Modeling Using Multidimensional Networks in VHDL-AMS -- Verification-Oriented...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2007
Innehållsförteckning:
“... in Autonomic Networks Using the Concept of Promised Cooperation -- Session 3: Performance Tuning...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2014
Innehållsförteckning:
“... Thirty Years from Now -- Formal Semantics, Specification and Verification -- Verifying Compilation...”Hämta fulltext
Elektronisk
E-bok
19
Innehållsförteckning:
“... Verification -- Exploring Concurrency -- Shared-Variable Programs -- Understanding Shared-Variable Concurrency...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
20
Innehållsförteckning:
“...Preliminaries -- System-Level Verification -- Block-Level Verification -- Top-Level Verification...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok