Showing 1 - 2 results of 2 for search 'COMPUTER AIDED DESIGN INTERMEDIATE', query time: 0.65s Refine Results
  1. 1
    RTL-Check: A practical static analysis framework to verify memory safety and more
    by Lacroix, Patrice
    Published 2006
    “... modèle de conception (design pattern) du visiteur et des algorithmes utiles pour faire de l’analyse...”
    Get full text
    Others
  2. 2
    RTL-Check : a practical static analysis framework to verify memory safety and more
    by Lacroix, Patrice
    Published 2006
    “... modèle de conception (design pattern) du visiteur et des algorithmes utiles pour faire de l’analyse...”
    Get full text
    Dissertation
Search Tools: Get RSS Feed — Email this Search