Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks

TitleAnalysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks
Publication TypeConference Proceedings
Year of Conference2014
AuthorsEmfinger, W., G. Karsai, A. Dubey, and A. Gokhale
Conference NameProceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems
Series TitleCyPhy '14
Pagination44–47
PublisherACM
Conference LocationNew York, NY, USA
ISBN Number978-1-4503-2871-5
AttachmentSize
CyPhy14.pdf583.29 KB