[IEEE 2011 12th Latin American Test Workshop - LATW - Beach...

  • Main
  • [IEEE 2011 12th Latin American Test...

[IEEE 2011 12th Latin American Test Workshop - LATW - Beach of Porto de Galinhas, Brazil (2011.03.27-2011.03.30)] 2011 12th Latin American Test Workshop (LATW) - Formally verifying an RTOS scheduling monitor IP core in embedded systems

Castro, Carlos Ivan, Strum, Marius, Chau, Wang Jiang, Vargas, Fabian
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2011
Language:
english
DOI:
10.1109/latw.2011.5985900
File:
PDF, 208 KB
english, 2011
Conversion to is in progress
Conversion to is failed