| 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 | |