Grant: Collaborative Research and Development Grants - Government (H)
Concordia University
$13,000.00
La théorie de processus concurrent basée sur des nouvelles techniques de logique et ses applications aux outils formels de spécification, de vérification et de synthèse
FY 1993-94
Summary
No summary - Aucun sommaire
Program
Collaborative Research and Development Grants - Government (H)
Recipient
Location
Quebec, Canada
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
Application id
151789-1993
Name nom
Okada, Mitsuhiro
Department département
Computer Science
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
1993
Competition year année de concours
1993
Award amount
13000
Program id
GCRDPJ
Program nane en
Collaborative Research and Development Grants - Government (H)
Program name fr
Subventions de recherche et développement coopérative - Gouvernement (H)
Group en
Research partnerships programs
Group fr
Programmes de partenariat
Committee code
199
Committee name en
University-Government (H)
Committee name fr
Université-Gouvernement (H)
Area of application code
9999
Area of application group en
Not available
Area of application group fr
Non disponible
Area of application en
Not available
Area of application fr
Non disponible
Research subject code
9999
Research subject group en
Not available
Research subject group fr
Non disponible
Research subject en
Not available
Research subject fr
Non disponible
Partie
1
Nb partie
1
Application title
La théorie de processus concurrent basée sur des nouvelles techniques de logique et ses applications aux outils formels de spécification, de vérification et de synthèse
Keyword
NA
Application summary
No summary - Aucun sommaire
