Toggle navigation
Home
People
Departments
Research
About
Login
Search
Testability-directed formal specifications and designs of communicating processes
Grant
Overview
Affiliation
View All
Overview
date/time interval
April 1, 1991 - March 31, 1994
awarded by
Natural Sciences and Engineering Research Council
total award amount
CAD 240000
Affiliation
contributor
Parnas, David
Funded by