Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
Ouvrir une session
Accueil de DSpace
→
Électronique et Électrotechnique
→
Articles Électroniques
→
Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
Autili, Marco
;
Grunske, Lars
;
Lumpe, Markus
;
Pelliccione, Patrizio
;
Tang, Antony
URI:
http://repository.usthb.dz//xmlui/handle/123456789/9139
Date:
2015
Description:
620-638 p. ; 5.477 ko.
Afficher la notice complète
Fichier(s) constituant ce document
Nom:
nl3242.pdf
Taille:
5.347Mo
Format:
PDF
Voir/
Ouvrir
Ce document figure dans la(les) collection(s) suivante(s)
Articles Électroniques
Chercher dans le dépôt
Chercher dans le dépôt
Cette collection
Parcourir
Tout DSpace
Communautés & Collections
Par date de publication
Auteurs
Titres
Sujets
Cette collection
Par date de publication
Auteurs
Titres
Sujets
Mon compte
Ouvrir une session
S'inscrire