Comparing formal models of IoT app coordination analysis
- Clay Stevens
- , Mohannad Alhanahnah
- , Qiben Yan
- , Hamid Bagheri
- University of Nebraska-Lincoln
- University of Wisconsin-Madison
- Michigan State University
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
8
Citations
(SciVal)