Verification

From John C. Doyle

Revision as of 23:27, 21 May 2008 by Vanessa (talk | contribs) (→‎Lectures)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Objectives

Current Participants:

Vanessa D. Carson (Student, CDS)
Andrew Lamperski (Student, CDS)
Danielle C.Tarraf (Professor, Johns Hopkins)

Publications

Lectures

"Model Checking with Automata"

Recommended Reading

Retrieved from "https://www.doyle.caltech.edu/index.php?title=Verification&oldid=2247"