Enhancements in formal process description by using a formal method

Author:

C. Xin

L. Grunau

M. Thron

M. Riedl

Erscheinungsjahr:

2023

Journal:

at - Automatisierungstechnik

Volume:

71

Issue:

3

Seitenanzahl:

198-208

Veröffentlichungsdatum:

03/2023

DOI:

doi.org/10.1515/auto-2022-0103

Geschäftsfelder:

IKT & Automation

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