Back to Results
First PageMeta Content
Software / Avionics / Embedded systems / Software testing / DO-178B / Astrée / Functional Safety / DO-178C / Software development process / Software development / Safety / Software requirements


Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012
Add to Reading List

Document Date: 2012-04-23 04:44:53

Open Document

File Size: 3,04 MB

Share Result on Facebook

City

Hamburg / /

Company

E&E Systems / Runtime Errors AbsInt GmbH / AbsInt GmbH / /

Event

Product Recall / Man-Made Disaster / Product Issues / /

IndustryTerm

software failures / large software projects / embedded systems / verification technologies / electronic safety-related systems / software verification process / software development / /

Position

railway switch controller / General / /

Product

campaigns / /

RadioStation

WCRT / /

TVStation

WCET / /

Technology

verification technologies / /

SocialTag