2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By IEEE

9781728199948
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

TE-SAT: Transactive Energy Simulation and Analysis Toolsuite

2020 ◽  
Author(s):  
Himanshu Neema ◽  
Janos Sztipanovits ◽  
David J. Hess ◽  
Dasom Lee
Keyword(s):  
Energy Simulation ◽  
Transactive Energy

The UCEF Approach to Tool Integration for HLA Co-Simulations

2020 ◽  
Author(s):  
Thomas Roth ◽  
Christopher Lemieux ◽  
Martin Burns
Keyword(s):  
Tool Integration

Demo: The Neural Network Verification (NNV) Tool

2020 ◽  
Author(s):  
Hoang-Dung Tran ◽  
Diego Manzanas Lopez ◽  
Xiaodong Yang ◽  
Patrick Musau ◽  
Luan Viet Nguyen ◽  
...  
Keyword(s):  
Neural Network ◽  
The Neural Network ◽  
Network Verification

Towards formalization of wireless vehicular networking

2020 ◽  
Author(s):  
Ramneet Kaur ◽  
Jungyeol Kim ◽  
Oleg Sokolsky ◽  
Saswati Sarkar ◽  
Radoslav Ivanov ◽  
...  
Keyword(s):  
Vehicular Networking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document