Вы здесь

Главная

критический

Связанные издания:

A Critical Look at Functional Specifications
Ada95 and Critical Systems: An Analytical Approach
Ada+B The Formula for Safety Critical Software Development
Ada in the JAS 39 Gripen Flight Control System
A Fault-Tolerant Dynamic Scheduling Algorithm for Multiprocessor Real-Time Systems and Its Analysis
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors
An Ada95 Solution for Certification of Embedded Safety Critical Applications
An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases
An Exeption Handling Model for Parallel Programming and Its Verification
A Note on the Use of Floating Point in Critical Systems
Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods
Applying RT-Z to Develop Safety-Critical Systems
A Randomized Test Approach to Testing Safety Critical Ada Code
A Semantics for NewSpeak in VDM-SL
A Strategy for Improving Safety Related Software Engineering Standards
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems
Compositional Analysis for Verification of Parameterized Systems
COTS Integration in Safety Critical Systems Using RTCA/DO-178B Guidelines
COTS Product Selection for Safety-Critical Systems
Crystographic Verification of Test Coverage Claims
Cyber-Physical Security for Critical Infrastructures Protection: Revised Selected Papers/1st International Workshop, CPS4CIP 2020, Gulldford, UK, September 2020
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
Designing a B Model for Safety-Critical Software Systems
Developing Safety-Critical Systems with UML
Development of Safety-Critical Real-Time Systems
Esprit BRA 3104: Provably Correct Systems ProCoS Interim Deliverable
Experiences with Error Handling in Critical Systems
Failure Mode Analysis of CORBA Service Implementations
Fast Testing of Critical Properties through Passive Testing
FME 97: Industrial Applications and Strengthened Foundations of Formal Methods: Proc./4th Intern. Symp. of Formal Methods Europe. Graz, Austria, September 1997
Formal Methods for Industrial Critical Systems: Revised Selected Papers/12th International Workshop, FMICS 2007. Berlin, Germany, July 2007
Formal Methods for Industrial Critical Systems: Revised Selected Papers/13th International Workshop, FMICS 2008. L Aquila, Italy, September 2008
Formal Methods in the Railways Signalling Industry
Formal Modeling and Analysis of Timed Systems: Proc./13th International Conference, FORMATS 2015, Madrid, Spain, September 2015
Formal Requirements Analysis of an Avionics Control System
Formal Verification of Algorithms for Critical Systems
Generation of Execution Sequences for Modular Time Critical Systems
Guidance on the Use of Ada95 in High Integrity Systems
High-Integrity Interfacing to Programmable Logic with AdaP.
I. Introduction
Improving Hazard Classification through the Reuse of Descriptive Arguments
Information and Telecommunication Systems for Emergency Management
Information Secrity Applications: Revised Selected Papers/18th International Conference, WISA 2017, Jeju Island, Korea, August 2017
Injecting Faults into Environment Simulators for Testing Safety Critical Software
Intent Specifications: An Approach to Building Human-Centered Specifications
Interactive System Safety and Usability Enforced with the Development Process
Interducing a Component Technology for Safety Critical Embedded Real-Time Systems
Is Your Computer System Sub-Critical?
Logic versus Magic in Critical Systems
Looking at Code With Your Safety Goggles On