Shang-Wei Lin (林尚威)
 
搜尋這個協作平台

Notes

Blogger

Research

  •  Formal Verification
    • Model Checking
    • Assume-guarantee Reasoning
  • Formal Synthesis
    • Assume-guarantee Synthesis
  • Embedded System Design
  • Program Design

    •