safety-critical - Globe Thesis

Keyword [safety-critical] Result: 61 - 80 \| Page: 4 of 5
61.	SAT-based Computation Of Minimal Cut Sets
62.	Research On The Deriviation Of AADL Design Models For Safety-Critical Software
63.	Research On Safety Requirement Traceability And Verification Based On SysML
64.	RBML:A Refined Behavior Modeling Language For Safety-critical Hybrid Systems
65.	Research On Task Scheduling Mechanism Of Safety-critical Energy-aware Real-time System
66.	Analysis of jump linear systems driven by lumped processes
67.	Generalized leading indicator model for infrequent events in safety-critical systems and its application to marine transportation systems
68.	A UML profile for developing airworthiness-complaint (RTCA DO-178B) safety-critical software
69.	An approach to defining a level 3 CMMI(SM) engineering process for mission and safety critical (MASC) systems
70.	Analyzing the critical elements of behavioral safety and their impact on process implementation
71.	A theory of run-time verification for safety critical reactive systems
72.	An Approach to the Usability Evaluation of the Human-computer Interaction of a Heterogeneous Safety-critical Complex Socio-technical System
73.	Untangling safety-critical source code
74.	On the effectiveness of specification-based structural test-coverage criteria as test-data generators for safety-critical systems
75.	A novel approach for generating test suites for component-based safety critical systems
76.	Safety-critical system design using algorithm-based safety assurance
77.	Complexity and its impacts in embedded intelligent real-time systems
78.	A comparison of programming languages for real-time, safety-critical programming
79.	Reusable strategies for testing safety-critical systems
80.	Software dependability demonstration for safety-critical military avionics systems by statistical testing
<<First <Prev Next> Last>> Jump to