Software verification - Globe Thesis

Keyword [Software verification] Result: 1 - 20 \| Page: 1 of 2
1.	Research On Agent-Based Modeling And Simulation Application For Autonomic Multi-Satellite Systems
2.	Research On Software Verification Technology Based On Model-Checking
3.	Research On VM Platform Based Object Code Verification And Validation Technology
4.	Research On Model Checking Technology Of Software Vulnerability
5.	Research On Software Verification Technology For Civil Aircraft
6.	Research On Interface Automata Based Embedded Software Verification Techniques And Supporting Tools
7.	Research On Model Checking Method-Based Trustworthy Software Verification Technology
8.	Research On Model Checking Method-based Trustworthy Software Verification Technology
9.	Study On The Car Barcode Identification And Check System Based On PLC
10.	The Research Of Hardware And Software Co-design And Verification Technology Based On H.264Codec
11.	Software Verification For Sensor Network Based On Bounded Model Checking
12.	10G BASE-T LDPC Decoding Hardware Implementation And Software Verification
13.	The Hardware Implemetation And Software Verification Of Video Signal Pre-processing IP
14.	Dynamic Execution Based Complex Loop Verification Of C Program
15.	Realization And Verification Of CICQ Switch Based On Software And Hardware Collaborative Design
16.	Parameterized software verification
17.	Interface grammars for modular software verification
18.	Automatic generation and verification of complex pattern-based software specifications
19.	A constraint-based approach to verification of programs with floating-point numbers
20.	A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
<<First <Prev Next> Last>> Jump to