( en | de | ru )

 

Disambiguation of "Zeghib, Nadia"

Author of the publication

copydeleteadd this publication to your clipboard
A formal framework for context-aware systems specification and verification.

, , and . J. Syst. Softw., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nadia Klein

Nadia Kapernaum

Nadia Müller

Nadia Dimassi

Nadia Ianeva

 

Other publications of authors with the same name

CIRTA: An ECATNets Based Model for Embedded Systems Specification., , and . ESA, page 261-267. CSREA Press, (2005)A Blockchain Data Balance Using a Generative Adversarial Network Approach: Application to Smart House IDS., , and . ICAASE, page 1-6. IEEE, (2020)Towards rewriting-based formal model for component-based systems verification., , and . ICAASE, page 46-53. IEEE, (2016)Execution of Long-Duration Multi-Cloud Serverless Functions Using Selective Migration-Based Approach., , and . Int. J. Cloud Appl. Comput., 10 (4): 70-97 (2020)Self-adaptive Architecture for Ensuring QoS Contracts in Cloud-Based Systems., , and . MEDI, volume 10563 of Lecture Notes in Computer Science, page 126-134. Springer, (2017)A Smart Healthcare Imbalanced Classes Model Using Multi Conditional-Task GAN., , and . BDIoT, volume 489 of Lecture Notes in Networks and Systems, page 286-299. Springer, (2021)Formal Specification of Non-Functional Properties of Context-Aware Systems., , and . Int. J. Organ. Collect. Intell., 12 (2): 1-31 (2022)On Specifying Reconfigurable Component-Based Systems Using Strategies., , and . ICCSA (1), volume 8579 of Lecture Notes in Computer Science, page 656-670. Springer, (2014)On Specifying and Verifying Context-aware Systems., , and . ICSOFT PT, page 181-188. SciTePress, (2014)Towards Distributed Containerized Serverless Architecture in Multi Cloud Environment., , and . FNC/MobiSPC, volume 134 of Procedia Computer Science, page 121-128. Elsevier, (2018)