1
出版 2013
書本目錄: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ... Verification Using Assertion Processors -- Run-Time FPGA Reconfiguration for Power-/Cost-Optimized Real-time...
獲取全文
電子 電子書