TecnoLógicas

ISSN: 0123-7799 / 2256-5337

Instituto Tecnológico Metropolitano - ITM

Validating the Formal Specification of the THUNDERS Process

Agredo-Delgado, Vanessa; Ruiz, Pablo H.; Collazos, Cesar A.

Validating the Formal Specification of the THUNDERS Process

TecnoLógicas, vol. 26, no. 57, e209, 2023

Instituto Tecnológico Metropolitano - ITM

Available in: https://www.redalyc.org/articulo.oa?id=344276660011

Received: 20 February 2022

Accepted: 23 August 2023

DOI: https://doi.org/10.22430/22565337.2658