Login / Signup

Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra.

Sunghyeon LeeJunsup SongDimitri KaragiannisMoonkun Lee
Published in: SmartIoT (2021)
Keyphrases
  • probabilistic model
  • management system
  • high level
  • natural language
  • distributed systems