Practical Examination of Formal Methods Transformations Properties
-
Published:2022
Issue:5
Volume:19
Page:43-67
-
ISSN:1785-8860
-
Container-title:Acta Polytechnica Hungarica
-
language:
-
Short-container-title:ACTA POLYTECH HUNG
Author:
Šimoňák Slavomír,Harvilík Daniel
Publisher
Obuda University
Subject
General Engineering