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