Using Slicing to Improve the Performance of Model Invariant Checking - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue The Journal of Object Technology Année : 2015

Using Slicing to Improve the Performance of Model Invariant Checking

Fichier principal
Vignette du fichier
jot_coslicing_cameraready.pdf (2.43 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01179369 , version 1 (22-07-2015)

Licence

Paternité - Pas de modifications

Identifiants

Citer

Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, et al.. Using Slicing to Improve the Performance of Model Invariant Checking. The Journal of Object Technology, 2015, pp.28. ⟨10.5381/jot.2015.14.4.a1⟩. ⟨hal-01179369⟩
1287 Consultations
331 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More