Work

Automated Verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness

Year: 2025

Type: conference-paper

Source: Lecture notes in networks and systems

DOI: 10.1007/978-3-032-06634-3_11

Authors: Andrei Luz B. Asoy, Jasmine A. Malinao

Institution: University of the Philippines Tacloban College

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: closed

OpenAlex ID: W4414745142

FWCI: 3.305

Cites: 8

Cited by: 3

Related to: 10