Model Checking and Verification of Synchronisation Properties of Cobot Welding

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science 2024-11, Vol.411, p.91-108
Main Authors: Murray, Yvonne, Nordlie, Henrik, Anisi, David A., Ribeiro, Pedro, Cavalcanti, Ana
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:2075-2180
2075-2180
DOI:10.4204/EPTCS.411.6