Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
generation method » generation methods, iteration method, generalized method
method program » methods program, method programs, method programmed
program https » programs https, program has, program help
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
generation method » generation methods, iteration method, generalized method
method program » methods program, method programs, method programmed
program https » programs https, program has, program help
1
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”Cael y testun llawn
Electronig
eLyfr
3
Generative and Transformational Techniques in Software Engineering IV International Summer School...
Cyhoeddwyd 2013
Tabl Cynhwysion:
“...Compilation of Legacy Languages in the 21st Century -- Variation Programming with the Choice...”Cael y testun llawn
Electronig
eLyfr
4
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel...”Cael y testun llawn
Electronig
eLyfr
5
Cyhoeddwyd 2005
Tabl Cynhwysion:
“..., Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP ? B -- Session...”Cael y testun llawn
Electronig
eLyfr
6
Cyhoeddwyd 2012
Tabl Cynhwysion:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... Formal Methods -- Formal Modelling of Systems -- Compositional Binding in Network Domains -- Formal...”Cael y testun llawn
Electronig
eLyfr
8
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2006
Tabl Cynhwysion:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”Cael y testun llawn
Electronig
eLyfr
11
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... Using Formal Code Specification -- Compositional Static Analysis for Implicit Join Synchronization in a...”Cael y testun llawn
Electronig
eLyfr
12
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”Cael y testun llawn
Electronig
eLyfr
14
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset...”Cael y testun llawn
Electronig
eLyfr
15
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”Cael y testun llawn
Electronig
eLyfr
16
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”Cael y testun llawn
Electronig
eLyfr
17
Cyhoeddwyd 2006
Tabl Cynhwysion:
“...Invited Speakers -- Security Issues in Service Composition -- Separating Distribution from...”Cael y testun llawn
Electronig
eLyfr
18
Cyhoeddwyd 2012
Tabl Cynhwysion:
“... method to formal verification of PLC programs in an Industrial Setting.-Palytoxin Inhibits the Sodium...”Cael y testun llawn
Electronig
eLyfr
19
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Methods -- Composition of Web Services Using Wrappers....”Cael y testun llawn
Electronig
eLyfr
20
Cyhoeddwyd 2012
Tabl Cynhwysion:
“... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”Cael y testun llawn
Electronig
eLyfr