A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions.

Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen

Browse the full MODELS paper archive.