An Enhanced Interface-Based Probabilistic Compositional Verification Approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

An Enhanced Interface-Based Probabilistic Compositional Verification Approach

Fichier principal
Vignette du fichier
VECOS_2023_paper_5289 (2).pdf (176.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04370804 , version 1 (26-01-2024)

Identifiants

Citer

Samir Ouchani, Otmane Ait Mohamed, Mourad Debbabi. An Enhanced Interface-Based Probabilistic Compositional Verification Approach. International Conference on Verification and Evaluation of Computer and Communication Systems, Oct 2023, Merrakech, Morocco. pp.60-75, ⟨10.1007/978-3-031-49737-7_5⟩. ⟨hal-04370804⟩
11 Consultations
7 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More