Formal Methods in Dependable Systems Engineering : A Survey of Professionals from Europe and North America

Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Marmsoler, Diego (2020) Formal Methods in Dependable Systems Engineering : A Survey of Professionals from Europe and North America. Empirical Software Engineering. ISSN 1382-3256

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © The Author(s) 2020
Keywords: Formal methods, Empirical research, On-line survey, Usage, Usefulness, Practical challenges, Research transfer, Software engineering education & training
Dates:
  • Submitted: 2019
  • Published (online): 9 September 2020
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 14 Aug 2019 14:30
Last Modified: 05 Feb 2024 00:37
Published Version: https://doi.org/10.1007/s10664-020-09836-5
Status: Published online
Refereed: Yes
Identification Number: https://doi.org/10.1007/s10664-020-09836-5
Related URLs:

Download

Filename: main_arxiv.pdf

Description: Report

Licence: CC-BY-NC-ND 2.5

Export

Statistics