Report ID:
2020-01Date:
2020-03-01 00:00:00Abstract
In this paper, we define the SEALD system properties for IoT systems and describe the preliminary semantics of the SEALD model.Document

Copyright © 2017 The Regents of the University of California, All Rights Reserved.
Site Information • Terms of Use • Privacy • User Login