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:
Massachusetts Institute of Technology
vs. funders. Who wins?
Read more...
How should you pick the next fundable research topic?
Read more...
Recently viewed grants:
Regulation of postsynaptic protein interaction networks in complex brain disorders
Phase I-II Study of 131 Labeled Mibg for Treatment of Pheochromocytoma
Modulation of Spermatogenesis
Purchase of Sem for Electron Optics
Establishment of a Collaborative Thermal Engineering Technology Laboratory
Recently added grants:
Functional 3D tissue-engineering models of the cerebrovasculature incorporating stem cell-derived brain microvascular endothelial cells, pericytes, and astrocytes
Unraveling the Role of ABL 1 and 2 as Drivers of Medulloblastoma Leptomeningeal Metastases
Establishing a Masters Program in Research Ethics at University of Belgrade School of Medicine
Collaborative Research Ethics Education-Mozambique (Formaao Colaborativa em Etica na Pesquisa, FoCEP)
Developing an International Master?s of Research Ethics Program in Malaysia
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