MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Eric Engstrom" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • 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
  • Verifying Time Partitioning in the DEOS Scheduling Kernel  
  • by John Penix, Willem Visser, Seungjoon Park, Eric Engstrom, Aaron Larson, Nicholas Weininger — 2004 — In 22nd International Conference on Software Engineering (ICSE00
  • … (pcorina@(email omitted);) Kestrel Technologies, NASA Ames Research Center Eric Engstrom, Aaron Larson…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB