Skip to main navigation Skip to search Skip to main content

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 proceedingConference contributionpeer-review

    8 Citations (SciVal)

    Fingerprint

    Dive into the research topics of 'Comparing formal models of IoT app coordination analysis'. Together they form a unique fingerprint.
    Sort by

    Computer Science