Report ID
2020-01
Report Authors
B. Hardekopf, D. Agrawal, T. Bultan, Y. Ding, A. El Abbadi, Y. Feng, C. Krintz, T. Sherwood, and R. Wolski
Report Date
Abstract
In this paper, we define the SEALD system properties for IoT systems and describe the preliminary semantics of the SEALD model.
Document
seald20.pdf159.71 KB