Model Checking and Verification of Synchronisation Properties of Cobot Welding

Murray, Yvonne, Nordlie, Henrik, Anisi, David A. et al. (2 more authors) (2024) Model Checking and Verification of Synchronisation Properties of Cobot Welding. Electronic Proceedings in Theoretical Computer Science, EPTCS. pp. 91-108. ISSN 2075-2180

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

Publisher Copyright: © Y. Murray, H. Nordlie, D.A. Anisi, P. Ribeiro & A. Cavalcanti.

Dates:
  • Published: 21 November 2024
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 02 Jan 2025 12:30
Last Modified: 31 Mar 2025 23:11
Published Version: https://doi.org/10.4204/EPTCS.411.6
Status: Published
Refereed: Yes
Identification Number: 10.4204/EPTCS.411.6
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: 2411.14369v1.pdf

Description: Model Checking and Verification of Synchronisation Properties of Cobot Welding

Licence: CC-BY 2.5

Export

Statistics