Data · dataset · 2023
Companion Material for the PhD thesis "Formal Specification and Verification for Automated Production Systems"
Listed in RADAR and RADAR4Memory — shown once because both records carry DOI 10.35097/1537
This archive contains the evaluation for "Formal Specification and Verification for Automated Production Systems".
Description
In particular, you find evaluation environments for Chapter 7 (Evaluation (PART I - Generalized Test Tables)), 10 (Relational Test Tables), 11 (Provably Forgetting of Information), and 12 (Modular Regression Verification). For more details, refer to the READMEs of the individual sub-folders.
Links
Where it is published
- DOI doi.org/10.35097/1537 ↗
DOI / persistent id · from radar service eu de
Catalogue records · 1
- OAI-PMH record radar-service.eu/oai/OAIHandler?verb=GetRecord&metadataPrefix=oai_dc&identifier… ↗
metadata API · from radar service eu de
Topics
- From keywords
- Computer Science & AI · Computer Science & AI · Earth & Environmental Science · Earth & Environmental Science · Engineering · Engineering
- Inferred from text
- Software engineering 73%
Provenance · 2 source records, 12 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| RADAR | 10.35097/1537 | 9 d ago | JSON v1 |
| RADAR4Memory | 10.35097/1537 | 8 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| concepts[field].anzsrc:group:4612 | enrichment · radar service eu de | taxonomy-embedding@1.1.0 | title+keywords+description (73%) |
| concepts[field].local:field:computer-science-ai | mapping · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · radar4memory radar service eu | connector:radar4memory_radar_service_eu@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · radar4memory radar service eu | connector:radar4memory_radar_service_eu@1.0.0 | |
| concepts[field].local:field:engineering | mapping · radar4memory radar service eu | connector:radar4memory_radar_service_eu@1.0.0 | |
| concepts[field].local:field:engineering | mapping · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| description | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | /metadata/dc/description |
| license | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | /metadata/dc/rights |
| publication_date | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| title | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | /metadata/dc/title |