default author photo

Augusto Sampaio

affiliation not provided to SSRN

SCHOLARLY PAPERS

1

DOWNLOADS

25

TOTAL CITATIONS

0

Scholarly Papers (1)

1.

A Sound Strategy for Livelock Analysis of Bric Components

Number of pages: 39 Posted: 02 May 2023
affiliation not provided to SSRN, University of York, Universidade do Estado do Rio Grande do Norte (UERN) and affiliation not provided to SSRN
Downloads 25 (1,385,945)

Abstract:

Loading...

Component-Based Systems, Local Analysis, Model Checking, Performance