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...
获取全文
电子 电子书