System verification : proving the design solution satisfies the requirements

出版社:London, UK : Academic Press, c2016.
ISBN:9780128042212
出版年:2016
作者:Grady,Jeffrey O.,
资源类型:图书
细分类型:西文文献
相关推荐

Reconfigurable system design and verification

  • 作者:Hsiung,Pao-Ann.
  • ISBN:9781420062663
  • 出版社:Boca Raton : CRC Press, c2009.
  • 出版年:2009

Current trends in hardware verification and automated theorem proving

  • 作者:Birtwistle,G.
  • ISBN:0387969888
  • 出版社:New York : Springer-Verlag, c1989.
  • 出版年:1989

Requirements analysis and system design : developing information systems with UML

  • 作者:Maciaszek,Leszek.
  • ISBN:0201709449
  • 出版社:Harlow, England ; New York : Addison-Wesley, 2001.
  • 出版年:2001

System Requirements Analysis.

  • ISBN:9780124171077
  • 出版年:2017

System and software requirements engineering

  • 作者:H.Thayer,Richard
  • ISBN:0818689218
  • 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, 1990.
  • 出版年:1990

VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability : 24th IFIP WG

  • 作者:International Conference on Very Large Scale Integration
  • ISBN:9783319671031
  • 出版社:Cham : Springer, 2017.
  • 出版年:2017