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 |