MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "An International Survey of Industrial Applications of Formal Methods." – 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

An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach
by Dan Craigen, Dan Craigen, Ora Canada, Ora Canada, Susan Gerhart, Susan Gerhart, Ted Ralston, Ronald H. Brown — 1993
…NISTGCR 93/626 An International Survey of Industrial Applications of Formal Methods Volume 1…
Cited by 94 (2 self) – Add To MetaCart

Constraint Graphs: A Concept Map Meta-Language
by Rob Kremer, Object-oriented Programming, B. Shriver, P. Wegner Cambridge — 1997
…. International Survey of Industrial Applications of Formal Methods, U.S. National Institute of Standards…
Cited by 6 (2 self) – Add To MetaCart

Formal methods: Promises and problems
by Joseph A. Goguen — 1997 — IEEE Software
… of their recent industrial applications, see "An International Survey of Industrial Applications of Formal Methods…
Cited by 6 (0 self) – Add To MetaCart

Final Monthly Status Report
by Prepared For Prepared
… of Industrial Applications of Formal Methods" [CrGeRa93], which contains much valuable information but is dated…
Add To MetaCart

Showing 1 through 4.

ATOM

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