An Architecture Approach to Heterogeneous Verification of CPS
Name | Value |
|---|---|
| Author | Akshay Rajhans |
| Creation Date | Thu Jul 28 15:49:08 2011 |
| Creator | Microsoft® PowerPoint® 2010 |
| Encrypted | no |
| File size | 2820287 bytes |
| MIME type | application/pdf |
| Modify Date | Thu Jul 28 15:49:08 2011 |
| Optimized | no |
| Page size | 4032 x 3456 pts |
| Pages | 1 |
| PDF version | 1.5 |
| Producer | Microsoft® PowerPoint® 2010 |
| Size | 2.69 MB |
| Tagged | yes |
| Title | CPS PI Meeting 2011 Poster |