Infrastructure for formal and dynamic verification of peripheral programming model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Walter Soto Encinas, Francisco Romulo da Silva Araujo, Harney Abrahim. Infrastructure for formal and dynamic verification of peripheral programming model. In 17th Latin-American Test Symposium, LATS 2016, Foz do Iguacu, Brazil, April 6-8, 2016. pages 165-170, IEEE, 2016. [doi]

This author has not been identified. Look up 'Walter Soto Encinas' in GoogleThis author has not been identified. Look up 'Francisco Romulo da Silva Araujo' in GoogleThis author has not been identified. Look up 'Harney Abrahim' in Google

runs on WebDSL