Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Taxonomic Search: sagar OR chowdhury, 2012
3 results
Results
file
Image Guided Autonomous Optical Manipulation of Cell Groups
Submitted by
Satyandra Gupta
on Wed, 09/26/2012 - 2:56pm. Contributors:
Satyandra Gupta
Sagar Chowdhury
Abstract
3.77 MB
0 views
23 downloads
Download
National CPS PI Meeting 2012
Poster
Academia
CPS PI MTG 12 Posters
file
Holistic Design Methodology for Automated Implementation of Human-in-the-Loop Cyber-Physical Systems
Submitted by
schirner
on Fri, 10/05/2012 - 11:24am. Contributors:
Gunar Schirner
Deniz Erdogmus
Kaushik Chowdhury
Taskin Padir
Abstract
3.8 MB
0 views
26 downloads
Download
National CPS PI Meeting 2012
Poster
Academia
CPS PI MTG 12 Posters
file
Software Model Checking Secure Systems
Submitted by
Katie Dey
on Tue, 05/08/2012 - 10:43pm. Contributors:
Limin Jia
Sagar Chaki
Anupam Datta
Jonathan M. McCune
Amit Vasudevan
Jason Franklin
Abstract:
704.99 KB
0 views
73 downloads
Download
Carnegie Mellon University
National HCSS Conference 2012
Presentation
Academia
HCSS'12 Theme: Compositional Reasoning
Current search
[×]
sagar
OR
chowdhury
[×]
CPS Events
: 2012
Guided search
Click a term to refine your current search.
Group
2012 CPS PI Meeting
(2)
2013 High Confidence Software and Systems Conference
(1)
Keywords
Carnegie Mellon University
(1)
Content type
File
(3)
Document Type
Poster
(2)
Presentation
(1)
CPS Events
:
all
» 2012
National CPS PI Meeting 2012
(2)
National HCSS Conference 2012
(1)
Contributor(s)
Amit Vasudevan
(1)
Anupam Datta
(1)
Deniz Erdogmus
(1)
Gunar Schirner
(1)
Jason Franklin
(1)
Jonathan M. McCune
(1)
Kaushik Chowdhury
(1)
Limin Jia
(1)
Sagar Chaki
(1)
Sagar Chowdhury
(1)
Satyandra Gupta
(1)
Taskin Padir
(1)
Document Source
Academia
(3)
Author
Katie Dey
(1)
Satyandra Gupta
(1)
schirner
(1)
Date authored
2012
(3)
Keyword search
Search within results
More options
