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
University of Cambridge (UK)
file
Formal Synthesis of Efficient Verified Emulators
Submitted by
Katie Dey
on Tue, 05/01/2012 - 9:49pm. Contributor:
Magnus Myreen
Abstract:
1.41 MB
0 views
24 downloads
Download
University of Cambridge (UK)
National HCSS Conference 2012
Presentation
Academia
HCSS'12 Theme: Formal Synthesis
