Slicing High-level Petri nets

KHAN, Yasir Imtiaz

Pas de texte intégral

Autre (Rapports)

Slicing High-level Petri nets

KHAN, Yasir Imtiaz

2014

Permalien
https://hdl.handle.net/10993/16374

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

Aucun document disponible.

Annexes

TechSlicingHigh.pdf

(2.63 MB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Mots-clés :

Slicing; Model Checking; Testing

Disciplines :

Sciences informatiques

Auteur, co-auteur :

KHAN, Yasir Imtiaz ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Langue du document :

Anglais

Titre :

Slicing High-level Petri nets

Date de publication/diffusion :

10 avril 2014

Disponible sur ORBilu :

depuis le 14 avril 2014

Statistiques

Nombre de vues

122 (dont 11 Unilu)

Nombre de téléchargements

196 (dont 0 Unilu)

Voir plus de statistiques