Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming concepts » programming congresses
https » http
1
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
2
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
3
Beeld op de omslag
Gepubliceerd in 2012
Inhoudsopgave: “...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
4
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
5
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
6
Beeld op de omslag
door Simon, Axel., Simon, Axel.
Gepubliceerd in 2008
Inhoudsopgave: “... -- The TVPI Abstract Domain -- The Integral TVPI Domain -- Interfacing Analysis and Numeric Domain...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
7
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “... -- Test of the ICARE Platform Fusion Mechanism -- A Method for the Verification of Haptic Algorithms -- A...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
8
Beeld op de omslag
door Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Gepubliceerd in 2008
Inhoudsopgave: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
9
Beeld op de omslag
Gepubliceerd in 2012
Inhoudsopgave: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
10
Beeld op de omslag
Gepubliceerd in 2010
Onderwerpen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
11
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
12
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “... Framework for Integrating New Functionalities into Software Architectures -- Beyond ATAM: Architecture...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
13
Beeld op de omslag
door Alagar, V.S., Alagar, V.S., Periyasamy, K.
Gepubliceerd in 2011
Onderwerpen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
14
Beeld op de omslag
door Giese, Holger., Giese, Holger.
Gepubliceerd in 2008
Inhoudsopgave: “... Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
15
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “... with VHDL-AMS -- Baseband Modeling Using Multidimensional Networks in VHDL-AMS -- Verification-Oriented...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
16
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
17
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “... in Autonomic Networks Using the Concept of Promised Cooperation -- Session 3: Performance Tuning...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
18
Beeld op de omslag
door Große, Daniel., Große, Daniel., Drechsler, Rolf.
Gepubliceerd in 2010
Inhoudsopgave: “...Preliminaries -- System-Level Verification -- Block-Level Verification -- Top-Level Verification...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
19
Beeld op de omslag
Inhoudsopgave: “...-Oriented Modeling -- Component-Oriented Functional Verification -- Component-Oriented Performance...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
20
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... Thirty Years from Now -- Formal Semantics, Specification and Verification -- Verifying Compilation...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen — Sla zoekopdracht op