70 search results - page 3 / 14 » Symbolic Fault Tree Analysis for Reactive Systems |
117
Voted
PAMI
2002
15 years 23 days ago
2002
We describe a robust and efficient system for recognizing typeset and handwritten mathematical notation. From a list of symbols with bounding boxes the system analyzes an expressio...
IASTEDSE
2004
15 years 2 months ago
2004
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
100
Voted
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
99
Voted
ENTCS
2007
15 years 1 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...