Concepedia

Tomás Barros

TB

3

Publications

107

Citations

3

H-Index

2006

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut national de recherche en sciences et technologies du numérique

Universidad Diego Portales

Tomás Barros is an author at Centre National de la Recherche Scientifique specializing in computer science, system software, and formal methods.

ORCID

Top concepts

Publications per year

2006–2009

3

Publications

3

Behavioural models for distributed Fractal components

Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado et al. · Annals of Telecommunications · 2009 · 61 citations

, , +2

Model-checking Distributed Components: The Vercors Platform

Tomás Barros, Antonio Cansado, Eric Madelaine et al. · Electronic Notes in Theoretical Computer Science · 2007 · 23 citations · Full text

, , +23

Verification of Distributed Hierarchical Components

Tomás Barros, Ludovic Henrio, Eric Madelaine · Electronic Notes in Theoretical Computer Science · 2006 · 23 citations · Full text

, , +18

Rows per page

1–3 of 3