Synthesizing Architectural Models of Cyber-Physical Systems
Name | Value |
---|---|
Author | Pete Manolios |
Creation Date | Mon Jul 30 13:17:04 2012 |
Creator | Keynote |
Encrypted | no |
File size | 128695758 bytes |
MIME type | application/pdf |
Modify Date | Mon Jul 30 13:17:04 2012 |
Optimized | no |
Page size | 1008 x 612 pts |
Pages | 33 |
PDF version | 1.3 |
Producer | Mac OS X 10.7.4 Quartz PDFContext |
Size | 122.73 MB |
Tagged | no |
Title | 2012-May-HCSS-Synthesis |