The Safety-Critical Software Evaluation Assistant (SEA) *

IFAC Proceedings Volumes
doi 10.1016/s1474-6670(17)44830-0
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Agile Methods for Open Source Safety-Critical Software

Software - Practice and Experience
Software
2011English

ADVANCES ON TESTING SAFETY-CRITICAL SOFTWARE - Goal-Driven Approach, Prototype-Tool and Comparative Evaluation

2006English

Resilient Interface Design for Safety-Critical Embedded Automotive Software

2016English

Towards Patterns for Handling Safety Critical Adaptive Control Software

2011English

Does Software Have to Be Ultra Reliable in Safety Critical Systems?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Evaluation of a Communication Platform for Safety Critical Robotics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Bayesian Reliability Assessment of Legacy Safety-Critical Systems Upgraded With Fault-Tolerant Off-The-Shelf Software

Reliability Engineering and System Safety
IndustrialRiskApplied MathematicsManufacturing EngineeringReliabilitySafetyQuality
2013English

A Knowledge Integration Approach for Safety-Critical Software Development and Operation Based on the Method Architecture

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Evaluation of Teaching Assistant Robot for Programming Classes

International Journal of Information and Education Technology
Computer Science ApplicationsEducation
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy