Using Slicing to Improve the Performance of Model Invariant Checking
Domaines
Génie logiciel [cs.SE]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...