External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment

Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul. On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. In Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill, editors, Software Technologies - 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers. Volume 1447 of Communications in Computer and Information Science, pages 114-133, Springer, 2020. [doi]

Authors

Chams Eddine Choucha

This author has not been identified. Look up 'Chams Eddine Choucha' in Google

Mohamed Ramdani

This author has not been identified. Look up 'Mohamed Ramdani' in Google

Mohamed Khalgui

This author has not been identified. Look up 'Mohamed Khalgui' in Google

Laïd Kahloul

This author has not been identified. Look up 'Laïd Kahloul' in Google
runs on