[4] 裡頭重要的特質就是形式化驗證,可參見拙作: https://hackmd.io/s/H1xxp3pF0 [5] https://genesi.company/solutions/embedded [6] https://en.wikipedia.org/wiki/ ...
確定! 回上一頁