Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Apr 14, 2014
- Source ID
- 10.1145/2593458.2593459
Entities
People
- Abhishek Dubey
- Aniruddha Gokhale
- Gabor Karsai
- William Emfinger
Organizations
- Defense Advanced Research Projects Agency
- Division of Computer and Network Systems
- Vanderbilt University