Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
proceedings programs » proceedings program, processing programs, procedures programs
methods proceedings » metabolism proceedings
programs compiling » programs combining, programs compiler, programs containing
interface methods » internal methods, interval methods, interference methods
compiling https » computing https, counseling https, consulting https
proceedings programs » proceedings program, processing programs, procedures programs
methods proceedings » metabolism proceedings
programs compiling » programs combining, programs compiler, programs containing
interface methods » internal methods, interval methods, interference methods
compiling https » computing https, counseling https, consulting https
1
Argitaratua 2014
Aurkibidea:
“... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2008
Aurkibidea:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2007
Aurkibidea:
“... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2008
Aurkibidea:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2006
Aurkibidea:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2015
Aurkibidea:
“...Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2007
Aurkibidea:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2012
Aurkibidea:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2014
Aurkibidea:
“... Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2013
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2014
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2006
Aurkibidea:
“... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2012
Aurkibidea:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2012
Aurkibidea:
“... Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- Hurrengoa »
- [3]