Browsing by Subject Wireless Sensor Networks, Medium Access Control, Formal Modelling, Formal Verification, Statistical Model Checking, Stochastic Timed Automata, Energy Harvesting, Mobility.
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2023 | ntégration des méthodes formelles dans le développement des RCSFs | Hmidi, Zohra |