Toggle navigation
Home
People
Departments
Research
About
Login
Search
Formal methods for safety-critical real-time control systems software
Grant
Overview
Affiliation
View All
Overview
date/time interval
April 1, 2003 - March 31, 2007
awarded by
Natural Sciences and Engineering Research Council
total award amount
CAD 96000
Affiliation
contributor
Lawford, Mark
Funded by