Cuauhtemoc Munoz

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Cuauhtemoc Munoz, Steve Roach
Automated Testing of LTL Formula Generation by Prospec. HASE (2010)
Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo
An Aspect-Based Approach to Checking Design Constraints at Run-Time. ITNG (2009)