関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
interactive verification » interactive sonification, integration verification, integrating verification
verification program » verification problems, verification process, verification proving
process computer » processes computer, processing computer, problems computer
program process » program progress, programs processes, program processing
computer https » computers https, computing https, computer arts
interactive verification » interactive sonification, integration verification, integrating verification
verification program » verification problems, verification process, verification proving
process computer » processes computer, processing computer, problems computer
program process » program progress, programs processes, program processing
computer https » computers https, computing https, computer arts
1
目次:
“... Static Verification -- Static Verification of Declarative Open Interaction Models -- Proof Procedures...”
全文の入手
全文の入手
電子媒体
eBook
2
出版事項 2006
目次:
“... -- A Model-Based Design Process for Interactive Virtual Environments -- Mapping ConcurTaskTrees...”全文の入手
電子媒体
eBook
3
出版事項 2007
目次:
“... Discussions -- Processes: Working Group Report -- Usability and Computer Games: Working Group Report....”全文の入手
電子媒体
eBook
4
出版事項 2014
目次:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”全文の入手
電子媒体
eBook
5
出版事項 2005
目次:
“... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...”全文の入手
電子媒体
eBook
6
目次:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
全文の入手
全文の入手
電子媒体
eBook
7
出版事項 2007
目次:
“... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”全文の入手
電子媒体
eBook
8
出版事項 2010
目次:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”全文の入手
電子媒体
eBook
9
出版事項 2008
目次:
“... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...”全文の入手
電子媒体
eBook
10
出版事項 2014
目次:
“... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”全文の入手
電子媒体
eBook
11
出版事項 2005
目次:
“... for the Verification of BPEL4WS Compositions -- Reasoning About Interaction Patterns in Choreography....”全文の入手
電子媒体
eBook
12
出版事項 2014
目次:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”全文の入手
電子媒体
eBook
13
出版事項 2015
目次:
“... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”全文の入手
電子媒体
eBook
14
出版事項 2008
目次:
“... Recognition Using Motion Orientation Histogram for Interaction of Handicapped Persons with Computer -- 3D...”全文の入手
電子媒体
eBook
15
出版事項 2005
目次:
“...Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing...”全文の入手
電子媒体
eBook
16
出版事項 2008
目次:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”全文の入手
電子媒体
eBook
17
出版事項 2010
目次:
“... and Implementation of an Efficient Method for Certificate Path Verification in Hierarchical Public Key...”全文の入手
電子媒体
eBook
18
出版事項 2010
目次:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”全文の入手
電子媒体
eBook
19
出版事項 2005
目次:
“... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”全文の入手
電子媒体
eBook
20
出版事項 2005
目次:
“... -- Formalization and Verification of Interaction Protocols -- -LTL for Constraint-Based Security Protocol Analysis...”全文の入手
電子媒体
eBook