Statistics
Publications
1
Citations
42
H-Index
1
Active since
2007
Affiliations
Marcos Vinicius Linhares is an author at Université Toulouse III - Paul Sabatier specializing in requirements formal verification, model-based verification, and system requirements.
Publications per year
2007–2007
1
1
1–1 of 1