Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2018 NSF Expeditions in Computing Principal Investigators' Meeting
Home
Program Agenda
Lightning Talks
Poster Session
Attendees
Registrants
Files
CPS-VO
»
2018 NSF Expeditions in Computing Principal Investigators' Meeting
CMACS: Computational Modeling and Analysis for Complex Systems
View
Properties
Submitted by Scott Smolka on Thu, 12/20/2018 - 9:18pm. Contributor:
Scott Smolka
License:
Creative Commons 2.5
Other available formats:
CMACS: Computational Modeling and Analysis for Complex Systems
PDF document
27.41 MB
1 download
Download
PDF version
Printer-friendly version
formal methods
abstract interpretation
embedded systems
Complex Biological Systems
cyber-physical systems
Posters
0926181
0926190
0926166
0926194
Expeditions PI Meeting 2018
2018
Poster