Grant: Discovery Grants Program - Individual
Concordia University
$15,000.00
Practical advances in interface specification languages and tools for extended static checking and formal verification
EF 2004-05
Résumé
No summary - Aucun sommaire
Programme
Discovery Grants Program - Individual
Bénéficiaire
Emplacement
Quebec, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
261573-2003
Name nom
Chalin, Patrice
Department département
Computer Science and Software 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
2004
Competition year année de concours
2003
Award amount
15000
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
330
Committee name en
Computing and Information Sciences - A
Committee name fr
Informatique - A
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
2705
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Software and development
Research subject fr
Logiciels et développement
Partie
2
Nb partie
4
Application title
Practical advances in interface specification languages and tools for extended static checking and formal verification
Keyword
NA
Application summary
No summary - Aucun sommaire
