article · Journal of Reliable Intelligent Environments

A model-checking based approach to verify data and energy integrated networks (DEINs): toward the formal verification of 6G networks

2025University of Tunis El Manar

In plain language

No abstract is available for this record, so no summary has been generated.

Research topics

Energy Harvesting in Wireless Networks
IoT Networks and Protocols
Advanced MIMO Systems Optimization

Read the original research

This page summarises published work. The authoritative version sits with the publisher.

View on publisher site Record on OpenAlex

DOI: 10.1007/s40860-025-00260-4

Is something wrong with this record? Report it or request removal.

Discussion

Discuss this research

Have you built on this work, tried to replicate it, or seen it applied in practice? Share what you know. Verified researchers and MARATTO™ domain experts can open a discussion, and any member can reply. Contributions are reviewed before they appear.

No discussion yet. Open the first thread.

New to MARATTO™? Create a free account.