6For example, for manned flight, there is a stringent certification 11 Synthesis and Verification of Self-aware Computing Systems 359 11.5.3 Parameter ...
確定! 回上一頁