Talks

Verification of Embedded Software: from Mars to Actions

Title
Verification of Embedded Software: from Mars to Actions
Speaker(s)
Charles Pecheur
Context
Seminar at Xerox PARC, Jul 31, 2009, derived from FMICS 2007
File(s)
pecheur-parc2009-slides

Speakers
Charles Pecheur
Tags
, , ,