Grant: Discovery Grants Program - Accelerator Supplements
Concordia University
$40,000.00
Formal verification of physical systems and devices
EF 2011-12
Résumé
No summary - Aucun sommaire
Programme
Discovery Grants Program - Accelerator Supplements
Bénéficiaire
Emplacement
Quebec, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
396095-2010
Name nom
Tahar, Sofiène
Department département
Electrical and Computer Engineering
Organization id
70
Institution établissement
Concordia University
Province en
Québec
Province fr
Québec
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2011
Competition year année de concours
2010
Award amount
40000
Program id
RGPAS
Program nane en
Discovery Grants Program - Accelerator Supplements
Program name fr
Programme de subventions à la découverte - supplément d'accélération
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
1073
Committee name en
DAS - Math., Stats., Computer Sc. and Electrical Eng. Selection Committee
Committee name fr
SAD - Comité de sélection en Math., Stats., Informatique et Génie électrique
Area of application code
1206
Area of application group en
Advancement of knowledge
Area of application group fr
Avancement des connaissances
Area of application en
Engineering
Area of application fr
Génie
Research subject code
2700
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Information technology
Research subject fr
Technologie de l'information
Partie
2
Nb partie
3
Application title
Formal verification of physical systems and devices
Keyword
NSERC
Application summary
No summary - Aucun sommaire
