Search
Now showing items 1-10 of 10
Tool Support for Rigorous Formal Specification Inspection
Publisher: IEEE
Year: 2014
Lateral transport in two-dimensional heterojunction interlayer tunneling field effect transistor (Thin-TFET)
Publisher: IEEE
Year: 2014
Bitrate-compatible adaptive coded modulation for software defined networks
Publisher: IEEE
Year: 2014