Searching for "Applications of Model Checking at Honeywell Laboratories." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Applications of Model Checking at Honeywell Laboratories
by Darren Cofer, Eric Engstrom, Robert Goldman, David Musliner, Steve Vestal — 2001 — Proceedings of the 8th International SPIN Workshop 2001, volume 2057 of Lecture Notes in Computer Science
…Applications of Model Checking at Honeywell Laboratories ? Darren Cofer, Eric Engstrom, Robert…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB