Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ISSTA
1994
ACM

favoriteEmaildiscussreport

118views Software Engineering» more ISSTA 1994»

Testing a Safety-Critical Application

13 years 9 months ago

Testing a Safety-Critical Application

Download cs.union.edu

John C. Knight, Aaron G. Cass, Antonio M. Fern&aac

Real-time Traffic

ISSTA 1994 | Software Engineering |

claim paper

Related Content

» Exhaustive testing of safety critical Java

» Aiding Modular Design and Verification of SafetyCritical TimeTriggered Systems by Use of E...

» A technology compatibility kit for safety critical Java

» Verification of a SafetyCritical Railway Interlocking System with RealTime Constraints

» Requirements Discovery during the Testing of SafetyCritical Software

» Exploiting Safety Constraints in Fuzzy Selforganising Maps for Safety Critical Application...

» LC Oscillator Driver for Safety Critical Applications

» Developing safety critical Java applications with oSCJL0

» An Experimental Evaluation of the Effectiveness of Automatic RuleBased Transformations for...

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1994
Where	ISSTA
Authors	John C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika

Comments (0)