Concepedia

Edgardo Montes De

EM

Statistics

Publications

1

Citations

32

H-Index

1

Active since

2008

Affiliations

Institut Mines-Télécom(Current)

Edgardo Montes De is an author at Institut Mines-Télécom specializing in formal methods, computer engineering, and system software.

Top concepts

Publications per year

2008–2008

1

Publications

1

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints

Ana Cavalli, Edgardo Montes De, Wissam Mallouli et al. · 2008 · 32 citations

, , +23

Rows per page

1–1 of 1