Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks | |
---|---|
Author | |
Keywords | |
Year of Conference |
2014
|
Conference Name |
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems
|
Number of Pages |
44–47
|
Publisher |
ACM
|
Conference Location |
New York, NY, USA
|
ISBN Number |
978-1-4503-2871-5
|
Series Title |
CyPhy '14
|
Google Scholar | BibTeX | XML |