Document Preview
  • Full Text
  • Dissertation or Thesis

Towards provably correct services: Automated service composition via supervisory control synthesis

. 
 Queen's University (Canada) ProQuest Dissertations & Theses,  2017. 10671070.