Similar Items: A formal specification framework for smart grid components
- Smart Contract–Enabled P2P Energy Trading: A Formally Verified Game-Theoretic Framework
- A modular multi-agent framework for innovation diffusion in changing business environments: conceptualization, formalization and implementation
- A Distributed Adaptive Multi‐Agent Transformer Framework for Smart Home Activity Recognition in Elderly Care
- Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verification
- Formal specification and verification of safety interlock systems: A comparative case study
- An Overview of Smart Local Energy Systems