Enhancements in formal process description by using a formal method

Author:

C. Xin

L. Grunau

M. Thron

M. Riedl

Year of Publication:

2023

Journal:

at - Automatisierungstechnik

Volume:

71

Issue:

3

Number of Pages:

198-208

Date Published:

03/2023

DOI:

doi.org/10.1515/auto-2022-0103

Geschäftsfelder:

ICT & Automation

Institut für Automation und Kommunikation e.V. © 2018. All rights reserved.