Furthermore, we have given general synthesis procedures to generate runtime and enforcement monitors in this framework. Future works.
確定! 回上一頁