Synthesis and Verification of Self-aware Computing Systems Chapter uri icon

publication date

  • January 1, 2017

start page

  • 337

end page

  • 373