| Title | Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks |
| Publication Type | Conference Proceedings |
| Year of Conference | 2014 |
| Authors | Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale |
| Conference Name | Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems |
| Series Title | CyPhy '14 |
| Pagination | 44–47 |
| Publisher | ACM |
| Conference Location | New York, NY, USA |
| ISBN Number | 978-1-4503-2871-5 |
| Attachment | Size |
|---|---|
| CyPhy14.pdf | 583.29 KB |