Concepedia

Manuel Garnacho

MG

1

Publications

16

Citations

1

H-Index

2015

Active since

Affiliations

Université Toulouse - Jean Jaurès(Current)

Manuel Garnacho is an author at Université Toulouse - Jean Jaurès specializing in language studies, formal methods, and formal specification.

Top concepts

Publications per year

2015–2015

1

Publications

1

Towards a verified transformation from AADL to the formal component-based language FIACRE

Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho et al. · Science of Computer Programming · 2015 · 16 citations

, , +16

Rows per page

1–1 of 1