default author photo

Marcel Oliveira

Universidade do Estado do Rio Grande do Norte (UERN)

Natal, 59078-900

Brazil

  • Universidade do Estado do Rio Grande do Norte (UERN)

SCHOLARLY PAPERS

1

DOWNLOADS

25

TOTAL CITATIONS

0

Scholarly Papers (1)

Actions:
Email selected abstracts
1.

A Sound Strategy for Livelock Analysis of Bric Components

Number of pages: 39 Posted: 02 May 2023
Madiel Conserva Filho, Ana Cavalcanti, Marcel Oliveira and Augusto Sampaio
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