Author:
Abidi Leila,Cérin Christophe,Evangelista Sami
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Correct by Construction Model for CBPS Systems Verification;2023 IEEE Symposium on Computers and Communications (ISCC);2023-07-09
2. Formal Verification and Performance Analysis of a New Data Exchange Protocol for Connected Vehicles;IEEE Transactions on Vehicular Technology;2020-12
3. Deriving event data sharing in IoT systems using formal modelling and analysis;Internet of Things;2019-12
4. Quality of service in IoT protocol as designs and its verification in PVS;Transactions on Emerging Telecommunications Technologies;2019-10-09
5. Towards a Two Layers Based Scheduling Schema for Data Aware Strategies;2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th Intl Conf on Pervasive Intelligence and Computing, 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech);2018-08