Login / Signup
Integrating Data-Driven Security, Model Checking, and Self-adaptation for IoT Systems Using BIP Components: A Conceptual Proposal Model.
Anas Alsobeh
Amani Shatnawi
Published in:
ACR (2023)
Keyphrases
</>
model checking
data driven
finite state machines
temporal properties
temporal logic
reactive systems
finite state
verification method
software engineering
process model
symbolic model checking
transition systems
reachability analysis