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

Item Type: Article
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:
  • Published (online): 9 September 2020
  • Submitted: 2019
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: 08 Feb 2025 00:39
Published Version: https://doi.org/10.1007/s10664-020-09836-5
Status: Published online
Refereed: Yes
Identification Number: 10.1007/s10664-020-09836-5
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: main_arxiv.pdf

Description: Report

Licence: CC-BY-NC-ND 2.5

Export

Statistics