Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar

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

Icon
Nom: nl3242.pdf
Taille: 5.347Mo
Format: PDF
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Chercher dans le dépôt


Parcourir

Mon compte