Home
About Us
FAQ
Contact Us
Media Tools
ExpertConnect App
MyExpertNet
University Partners
Becoming a Partner
Key Organizations
Search Assistance
Help
Project Profile
Share
QR code
Career: Methodologies and Tools for Large Concurrent System Verification
Sponsoring Agency:
National Science Foundation
Investigator
Hao Zheng
Associate Professor
Computer Science And Engineering | College Of Engineering
(813) 974-2011
haozheng@usf.edu
Funding
Award
$412,000.00
Begin Date
March 15, 2006
End Date
February 28, 2011
Research Terms
Computer Science
Keyword Search
Please enter valid search criteria.
Search
Centers
Experts
Projects
Speakers
Stories
Technologies
Videos
University
All Universities
Florida A&M University
Florida Atlantic University
Florida Gulf Coast University
Florida Institute of Technology
Florida International University
Florida State University
University of Central Florida
University of Florida
University of Miami
University of North Florida
University of South Florida
University of West Florida
Browse by STEM
Biotechnology
Computer Science
Energy
Engineering
Environmental Sciences
Information Science
Life Sciences
Mathematics
Medical Sciences
Military Sciences
Natural Sciences
Physical Sciences
Plant Sciences
Science
Space Sciences
Technology
Transportation
