表紙画像

QRコード

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

保存先:

書誌詳細
第一著者:	Yoeli, Michael, 1917-
団体著者:	ebrary, Inc
その他の著者:	Kol, Rakefet
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	Hoboken, N.J. : Wiley-Interscience, c2008.
シリーズ:	Wiley series on parallel and distributed computing.
主題:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
オンライン･アクセス:	An electronic book accessible through the World Wide Web; click to view
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Comprehensive functional verification the complete industry cycle
著者:: Wile, Bruce
出版事項: (2005)

Verification by error modeling using testing techniques in hardware verification /
著者:: Radecka, Katarzyna
出版事項: (2003)

Principles of model checking
著者:: Baier, Christel
出版事項: (2008)

Verification techniques for system-level design
著者:: Fujita, Masahiro, 1956-
出版事項: (2008)

Biological petri nets
出版事項: (2011)

Engineering dependable software systems /
出版事項: (2013)

Dependable software systems engineering /
出版事項: (2015)

Property-preserving petri net process algebra in software engineering
著者:: Huang, Hejiao
出版事項: (2012)

Petri nets fundamental models, verification and applications /
出版事項: (2009)

The software audit guide /
著者:: Helgeson, John W., 1945-
出版事項: (2009)

Software safety and security tools for analysis and verification /
出版事項: (2012)

Robot framework test automation /
著者:: Bisht, Sumit
出版事項: (2013)

Compact models for integrated circuit design : conventional transistors and beyond /
著者:: Saha, Samar K.
出版事項: (2016)

Adaptive cooling of integrated circuits using digital microfluidics
著者:: Paik, Philip Y.
出版事項: (2007)

Deadly arsenals nuclear, biological, and chemical threats /
著者:: Cirincione, Joseph
出版事項: (2005)

Digital circuit analysis and design with simulink modeling
著者:: Karris, Steven T.
出版事項: (2007)

Linear integrated circuits /
著者:: Choudhury, D. Roy
出版事項: (2017)

Analog circuits
出版事項: (2008)

Systems dependability assessment : benefits of petri net models /
著者:: Aubry, Jean-François, 等
出版事項: (2015)

Verification of infinite-state systems with applications to security
出版事項: (2006)

Analog circuit design
出版事項: (2013)

Wafer-level testing and test during burn-in for integrated circuits
著者:: Bahukudumbi, Sudarshan
出版事項: (2010)

Verification and validation of 3D free-surface flow models
出版事項: (2009)

Designing bipolar transistor radio frequency integrated circuits
著者:: Sweet, Allen A., 1943-
出版事項: (2008)

Radio frequency integrated circuit design
著者:: Rogers, John (John W. M.)
出版事項: (2003)

Radio-frequency integrated-circuit engineering /
著者:: Nguyen, Cam
出版事項: (2015)

High-speed integrated circuit technology towards 100 GHz logic /
出版事項: (2001)

Lumped elements for RF and microwave circuits
著者:: Bahl, I. J.
出版事項: (2003)

Power-constrained testing of VLSI circuits
著者:: Nicolici, Nicola
出版事項: (2003)

Microelectronic circuit design /
著者:: Jaeger, Richard C.
出版事項: (2006)

Digital integrated circuits : analysis and design /
著者:: Ayers, John E.
出版事項: (2010)

VLSI circuits for biomedical applications
出版事項: (2008)

Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
著者:: Huss, Sorin A. (Sorin Alexander)
出版事項: (2001)

Minimal verificationism : on the limits of knowledge /
著者:: Haas, Gordian
出版事項: (2015)

Design of analog-digital VLSI circuits for telecommunications and ... /
著者:: Franca, Jose E.
出版事項: (1994)

Alternative computer chips post-silicon circuits.
出版事項: (2003)

Radio frequency integrated circuit design
著者:: Rogers, John (John W. M.)
出版事項: (2010)

Analog circuit design a tutorial guide to applications and solutions /
出版事項: (2011)

System-level design with Rosetta
著者:: Alexander, Perry
出版事項: (2007)

VLSI custom microelectronics digital, analog, and mixed-signal /
著者:: Hurst, S. L. (Stanley Leonard)
出版事項: (1999)