Verification: Difference between revisions

From John C. Doyle
Jump to navigation Jump to search
No edit summary
 
No edit summary
Line 1: Line 1:
=Systems Verification=




== Current Participants ==
== Objectives ==
 
Current Participants:
 
*Vanessa Carson (Student, CDS)
*Andy Lamperski (Student, CDS)
*Danielle Tarraf (Professor, Johns Hopkins)


== Publications ==
== Publications ==
== Lectures ==
== Lectures ==

Revision as of 23:07, 21 May 2008


Objectives

Current Participants:

  • Vanessa Carson (Student, CDS)
  • Andy Lamperski (Student, CDS)
  • Danielle Tarraf (Professor, Johns Hopkins)

Publications

Lectures