Real-Time Checkers: Built-In-Test for Mission-Critical Software
16th, Digital avionics systems conference ; 1997
1997-01-01
1.4-1-1.4-8
Also known as the 16th DASC. Theme title: Reflections to the future. IEEE cat nos 97CB36116 and 97CH36116
Conference paper
English
digital avionics systems , avionics , IEEE , DASC , AIASS
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Real-time checkers: built-in-test for mission-critical software
Tema Archive | 1997
|Online Contents | 2003
Coverage-directed test generation with model checkers: challenges and opportunities
Tema Archive | 2005
|Departments - Franchise Focus - Checkers' passionate C.E.O.
Online Contents | 2000
|