صورة الغلاف

QR رمز

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

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Yoeli, Michael, 1917-
مؤلف مشترك:	ebrary, Inc
مؤلفون آخرون:	Kol, Rakefet
التنسيق:	الكتروني كتاب الكتروني
اللغة:	الإنجليزية
منشور في:	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)