Statistics
Publications
2
Citations
32
H-Index
2
Active since
2002
Affiliations
M. de Villepin is an author at Massachusetts Institute of Technology specializing in systems modeling, systems engineering, and formal modeling.
Publications per year
2002–2002
2
2
Identifying mode confusion potential in software design
M. Rodriguez, Marc K. Zimmerman, M. Katahira et al. · 2002 · 20 citations · Full text
Making formal methods practical
Marc K. Zimmerman, Manuel Rodríguez, Brandon T. Ingram et al. · 2002 · 12 citations
1–2 of 2