×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [safety critical slide]
© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 5. Model Checking Modellbasierte Softwareentwicklung 1 17.01.2013
214 views
(Quickly) Testing the Tester via Path Coverage Alex Groce Oregon State University (formerly NASA/JPL Laboratory for Reliable Software)
216 views
Predictable Development of Reliable Embedded Systems ir. Marcel Verhoef - CHESS (with contributions from
218 views
Building Reliable Software Requirements and Methods
217 views