The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Supplementary Material for "Formal methods in dependable systems engineering: a survey of professionals from Europe and North America"
The work
| Authors | Gleirscher; Marmsoler |
|---|---|
| Editors | |
| Type | misc |
| Year | 2018 |
| Citekey | gleirscher2018supplementary |
Where it appeared
| Published in | Zenodo (CERN European Organization for Nuclear Research) |
|---|---|
| Publisher | European Organization for Nuclear Research |
Identifiers
| DOI | 10.5281/zenodo.1487596 |
|---|---|
| OpenAlex | W4393558828 |
Access
| Landing page | https://doi.org/10.5281/zenodo.1487596 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
This report contains supplemental material for this paper, including a detailed analysis of responses to certain questions, further visualizations of the collected data, details on our analysis of related work, and a copy of the whole questionnaire. This material was shared for the period of peer review and has been significantly updated, extended, and included in this journal publication.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 18:44 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{gleirscher2018supplementary,
title = {Supplementary Material for "Formal methods in dependable systems engineering: a survey of professionals from Europe and North America"},
author = {Gleirscher and Marmsoler},
year = {2018},
journal = {Zenodo (CERN European Organization for Nuclear Research)},
publisher = {European Organization for Nuclear Research},
doi = {10.5281/zenodo.1487596},
}
This record lives at https://refs.drheap.org/gleirscher2018supplementary/ and will keep doing so.