Matrix Representation and Automation for the Verification of Free-Choiceness in Robustness Diagram with Loop and Time Controls

Lecture notes in networks and systems 2026

View at publisher
Authors: Rugie C. Gabitanan, William Benedict D. Dy, Jasmine A. Malinao
DOI: 10.1007/978-3-032-10824-1_10
Cited by: 0
References: 9

Fields of Study & Subjects

Scientific Computing and Data Management Formal Methods in Verification Business Process Modeling and Analysis

Publication details

Journal / source
Lecture notes in networks and systems
Pages
124–139
Publication date
1 January 2026
Language
EN