MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Early Fault Detection Tools." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Early Fault Detection Tools
by Gerard J. Holzmann — 1996 — Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science
… Early Fault Detection Tools Gerard J. Holzmann ABSTRACT The traditional software development…
Cited by 12 (0 self) – Add To MetaCart

Formal Methods for Early Fault Detection
by Gerard Holzmann, Steve Knittel, Margaret Redberg, Victor Mendoza-grado — 1996
… so. One of the objectives of the early fault detection tools described here and in [1, 4] is to ease…
Cited by 1 (0 self) – Add To MetaCart

Interval Reduction through Requirements Analysis
by Gerard J.Holzmann, Margaret H. Smith — 1998
…]. Agrowing collection of Early Fault Detection Tools [2, 3, 5,6,8,4,1] has been developed. Many…
Add To MetaCart

Test generation for intelligent networks using model checking
by André Engels, Loe Feijs, Sjouke Mauw — 1997 — Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. (TACAS’97), volume 1217 of Lecture Notes in Computer Science
…-workers: in [14], [2] tools for analyzing MSCs are presented which are primarily considered as ‘early fault…
Cited by 31 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB