Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

EISBN:9783031516924
PISBN:9783031516917
出版社:Springer Nature
出版时间:2024
作者:Pascal Pieper,Rolf Drechsler
主题词:BISAC Category: Technology & Engineering,Electronics,Circuits - General
学科:TN ( T 工业技术,TN 无线电电子学、电信技术 )
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Practical Aspects of Embedded System Design using Microcontrollers

  • 作者:Jivan S. Parab,Santosh A. Shinde,Vinod G. Shelake,Rajanish K. Kamat,Gourish M. Naik
  • EISBN:9781402083938
  • 出版社:Springer Netherlands
  • 出版时间:2008

Automated Analysis of Virtual Prototypes at the Electronic System Level

  • 作者:Mehran Goli,Rolf Drechsler
  • EISBN:9783030442828
  • 出版社:Springer International Publishing
  • 出版时间:2020

Aeration Control System Design: A Practical Guideto Energy and Process Optimization

  • 作者:Jenkins
  • PISBN:9781118777732
  • 出版社:John Wiley & Sons, Inc
  • 出版时间:2013

Digital System Design using FSMs - A Practical Learning Approach

  • 作者:Minns
  • EISBN:9781119782735
  • 出版社:Wiley
  • 出版时间:2021

Practical Formal Methods for Hardware Design

  • 作者:Carlos Delgado Kloos,Werner Damm
  • EISBN:9783642606410
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Practical Formal Methods for Hardware Design

  • 作者:Carlos Delgado Kloos,Werner Damm
  • EISBN:9783642606410
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997