Grant: Collaborative Research and Development Grants
Centre de recherche informatique de Montréal
$100,000.00
LOCO : modélisation et analyse formelle de logiciels de contrôle-commande
EF 1996-97
Résumé
No summary - Aucun sommaire
Programme
Collaborative Research and Development Grants
Bénéficiaire
Emplacement
Quebec, Canada
Type de bénéficiaire
Not-for-profit organization or charity
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
181040-1995
Name nom
Freedman, Paul
Department département
Siège social
Organization id
71
Institution établissement
Centre de recherche informatique de Montréal
Province en
Québec
Province fr
Québec
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
1996
Competition year année de concours
1995
Award amount
100000
Program id
CRDPJ
Program nane en
Collaborative Research and Development Grants
Program name fr
Subventions de recherche et développement coopérative
Group en
Research partnerships programs
Group fr
Programmes de partenariat
Committee code
141
Committee name en
University/Industry
Committee name fr
Universités/industrie
Area of application code
520
Area of application group en
Manufacturing processes and products
Area of application group fr
Procédés et produits industriels
Area of application en
Production and operations management
Area of application fr
Production et gestion des opérations
Research subject code
2703
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Complexity
Research subject fr
Complexité
Partie
2
Nb partie
2
Application title
LOCO : modélisation et analyse formelle de logiciels de contrôle-commande
Keyword
NA
Application summary
No summary - Aucun sommaire
