×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [safety critical software]
Safer IT Systems for the NHS Dr. Maureen Baker CBE DM FRCGP Special Clinical Adviser NPSA Clinical Safety Officer CfH
217 views
Damian Gordon. Born May 11, 1930 Died August 6, 2002 Born in Rotterdam, Netherlands A Dutch computer scientist, who received the 1972 Turing Award for
213 views
FAA-Qualifiable Ada Subset Compiler V. Santhanam Boeing
214 views
The Failure of the London Ambulance Service Michael McDougall CIS 573 November 16 th, 1999
215 views
20140121 cisec-safety criticalsoftwaredevelopment
905 views
Safe and Reliable Embedded Linux Programming: How to Get There
8.839 views
IEC 62304: SDLC Conformance and Management
239 views
ESA UNCLASSIFIED – For Official Use ISVV Effectiveness Measurement in ESA Space Projects Pedro A. Barrios, Maria Hernek, Marek Prochazka European Space
224 views
Safety-Critical Systems 4 Formal Methods / Modelling T 79.232
217 views
Alwyn Goodloe NASA Langley Research Center Challenges in the Verification of Flight-Critical Systems
216 views
Software Guidance for DS 00-56 Issue 3 John McDermid
219 views
Embedded Software: Leveraging Concurrent Models of Computation Edward A. Lee Professor, UC Berkeley Center for Hybrid and Embedded Software Systems (CHESS)
224 views
Next >