R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems-Reference-Cited by-同舟云学术

R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering
language:
Short-container-title:

Author:

Ramdani Mohamed¹,Kahloul Laid²,Khalgui Mohamed³,Hafidi Yousra¹

Affiliation:

1. LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, School of Electrical and Information Engineering, Jinan University, China, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country ---

2. LINFI Laboratory, Computer Science Department, Biskra University and Algeria, --- Select a Country ---

3. LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, School of Electrical and Information Engineering, Jinan University and China, --- Select a Country ---

Publisher

SCITEPRESS - Science and Technology Publications

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems;Communications in Computer and Information Science;2020

2. New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism;Communications in Computer and Information Science;2020

3. Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids;Communications in Computer and Information Science;2020

4. QCOF: New RPL Extension for QoS and Congestion-Aware in Low Power and Lossy Network;Proceedings of the 14th International Conference on Software Technologies;2019

5. On Improving Parallel Rebuilding of R-TNCESs;Proceedings of the 14th International Conference on Software Technologies;2019