发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Embedded Computer Systems: Architectures, Modeling, and Simulation Volume 3553 || Formal Specification of a Protocol Processor

[Lecture Notes in Computer Science] Embedded Computer Systems: Architectures, Modeling, and Simulation Volume 3553 || Formal Specification of a Protocol Processor

Hämäläinen, Timo D.; Pimentel, Andy D.; Takala, Jarmo; Vassiliadis, Stamatis

作者Hämäläinen, Timo D.; Pimentel, Andy D.; Takala, Jarmo; Vassiliadis, Stamatis
文件大小188.07KB
发表时间2005
DOI10.1007/11512622_14
页码122-131

← 返回【学霸图书馆】主页