Toggle navigation
Home
Search
Services
Blog
Contact
About
Modular Verification of Strong Correctness of Communicating Sequential Processes (Information Science)
Nemes, Richard
Rutgers University, New Brunswick, NJ, United States
Search grants from Richard Nemes
Search grants from Rutgers University New Brunswick
Share this grant:
:
:
Abstract
Funding
Institution
Comments
Recent in Grantomics:
Your institution
vs. funders. Who wins?
Read more...
How should you pick the next fundable research topic?
Read more...
Recently viewed grants:
Role of claudin-1 in Colon Cancer
A20 Mediated Regulation of Colitis and Spondyloarthritis
Structure and function of conventional and unconventional myosins
Neighborhood-Level Influences on All-Cause Mortality
Ehrlichiacidal Mechanism by Macrophage CA++ Mobilization
Recently added grants:
SenseWhy: Overeating in Obesity Through the Lens of Passive Sensing
Iowa Cochlear Implant Clinical Research Center Project VII
Physical Activity, Sedentary Behavior and Weight Status in Early Childhood
Regulation of endovascular trophoblast cell development and uterine spiral artery remodeling
Iowa Cochlear Implant Clinical Research Center - VII
Abstract
Funding Agency
Agency
National Science Foundation (NSF)
Institute
Division of Information and Intelligent Systems (IIS)
Type
Standard Grant (Standard)
Application #
8509180
Program Officer
Howard Moraff
Project Start
Project End
Budget Start
1985-09-01
Budget End
1988-02-29
Support Year
Fiscal Year
1985
Total Cost
$30,327
Indirect Cost
Institution
Name
Rutgers University
Department
Type
DUNS #
City
New Brunswick
State
NJ
Country
United States
Zip Code
08901
Comments
Be the first to comment on Richard Nemes's grant