software safety - Globe Thesis

Keyword [software safety] Result: 1 - 20 \| Page: 1 of 3
1.	Research On Component-based Embedded Software Safety Analysis Methods
2.	Research On Testing And Evaluating Theory Of Reliability And Safety For High Dependability Software
3.	Certifying Compilation In An Infrastructure For Developing Trustable Software
4.	A Modular Approach On Building Certified Software System
5.	Certifying The Safety Of Assembly Pointer Programs
6.	A Pointer Logic For Safety Verification Of Pointer Programs
7.	Certifying Concurrent Porgrams Using Transactional Memory
8.	The Design And Implementation Of An Automated Theorem Prover Used For Pointer Logic
9.	Pointer Logic's Extensions And Applications
10.	Research On Process Model Of Testing And Evaluation For Safety-critical Software
11.	Research On Relationship And Transition Between The Software Reliability And Safety
12.	Research And Application On Safety Testing Based Contrast-Environment For Railway Signal Control
13.	The Modelling And Application Of A New Model Of Software Reliability And Safety
14.	Analysis And Designs Of Tax Bank Treasury Electronic Payment Platform System
15.	Analysis And Check Of Type Conversion And Control Flow Safety Vulnerability
16.	Software Safety Assurance Framework And Safety Technology Application
17.	Research On A Simulation Testing Platform For ARM-based Embedded Safety Critical Software
18.	The Theory And Application Of A Growth Model Of Software Reliability And Safety
19.	Research On The Software Safety Of On-board Devices In The Train Control System Based On The Safety Technology
20.	A Formal Approach To Build Safe Threading Machanisms
<<First <Prev Next> Last>> Jump to