Towards Antipatterns-Based Model Checking - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Towards Antipatterns-Based Model Checking

Hassan Loulou
  • Fonction : Auteur
  • PersonId : 1383950
Sebastien Saudrais
Hassan Soubra
  • Fonction : Auteur
  • PersonId : 1349107
Cherif Larouci
Fichier principal
Vignette du fichier
patterns_2016_2_10_70025.pdf (668.43 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-04581288 , version 1 (21-05-2024)

Licence

Identifiants

  • HAL Id : hal-04581288 , version 1

Citer

Hassan Loulou, Sebastien Saudrais, Hassan Soubra, Cherif Larouci. Towards Antipatterns-Based Model Checking. PATTERNS 2016 : The Eighth International Conferences on Pervasive Patterns and Applications, Mar 2016, Rome, Italy. ⟨hal-04581288⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More