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

Simple item page
dc.contributor.authorAutili, Marco
dc.contributor.authorGrunske, Lars
dc.contributor.authorLumpe, Markus
dc.contributor.authorPelliccione, Patrizio
dc.contributor.authorTang, Antony
dc.date.accessioned2022-03-23T08:59:13Z
dc.date.available2022-03-23T08:59:13Z
dc.date.issued2015
dc.description620-638 p. ; 5.477 ko.en_US
dc.identifier.issn0098-5589
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/9139
dc.language.isoenen_US
dc.publisherInstitute of electrical and electronics engineersen_US
dc.subjectGénie du logicielen_US
dc.subjectSystèmes logiciels : raisonnement mathématiqueen_US
dc.subjectPSP Wizarden_US
dc.subjectPSPFrameworken_US
dc.subjectIngénieurs systèmeen_US
dc.titleAligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammaren_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
nl3242.pdf
Size:
5.35 MB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Articles Électroniques