Grant: Discovery Grants Program - Individual
Memorial University of Newfoundland
$18,000.00
Computer system design analysis and verification using relational specifications
EF 2005-06
Résumé
No summary - Aucun sommaire
Programme
Discovery Grants Program - Individual
Bénéficiaire
Emplacement
Newfoundland and Labrador, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
217342-2004
Name nom
Peters, Dennis
Department département
Electrical & Computer Engineering
Organization id
89
Institution établissement
Memorial University of Newfoundland
Province en
Newfoundland and Labrador
Province fr
Terre-Neuve-et-Labrador
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2005
Competition year année de concours
2004
Award amount
18000
Program id
RGPIN
Program name en
Discovery Grants Program - Individual
Program name fr
Programme de subventions à la découverte - individuelles
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
334
Committee name en
Commun.,Computers & Components
Committee name fr
Communic.,ordin. et composants
Area of application code
801
Area of application group en
Information and communication services
Area of application group fr
Services d'information et de télécommunications
Area of application en
Computer software
Area of application fr
Logiciel
Research subject code
2706
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Software engineering
Research subject fr
Génie logiciel
Partie
2
Nb partie
5
Application title
Computer system design analysis and verification using relational specifications
Keyword
NA
Application summary
No summary - Aucun sommaire
