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:
Fred Hutchinson Cancer Research Center
vs. funders. Who wins?
Read more...
How should you pick the next fundable research topic?
Read more...
Recently viewed grants:
Cardiovascular Regenerative Medicine
Microsomal Cytochromes P450 and their Interactions with their Redox Partners
Block Grants for Community Mental Health Services
Lm and Em Morphology of Sacral Parasympathetic Neurons
A Leadership Summit to Effect Change in Teaching and Learning
Recently added grants:
Transposable elements in the keratinocyte genome and their regulation during skin development and epidermal differentiation
Small molecule mitochondria-targeted therapeutics for AD
Tractable Tandem Ion Mobility Technology using Structures for Lossless Ion Manipulations and Photodissociation
Application of mild therapeutic hypothermia for hearing conservation during cochlear implant surgeries
Mechanisms of Synaptic Protection in Cognitive Resilence to Alzheimer's Disease Neuropathology
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