Kapak Resmi

QR Kod

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

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Yoeli, Michael, 1917-
Müşterek Yazar:	ebrary, Inc
Diğer Yazarlar:	Kol, Rakefet
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Hoboken, N.J. : Wiley-Interscience, c2008.
Seri Bilgileri:	Wiley series on parallel and distributed computing.
Konular:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
Online Erişim:	An electronic book accessible through the World Wide Web; click to view
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Comprehensive functional verification the complete industry cycle
Yazar:: Wile, Bruce
Baskı/Yayın Bilgisi: (2005)

Verification by error modeling using testing techniques in hardware verification /
Yazar:: Radecka, Katarzyna
Baskı/Yayın Bilgisi: (2003)

Principles of model checking
Yazar:: Baier, Christel
Baskı/Yayın Bilgisi: (2008)

Biological petri nets
Baskı/Yayın Bilgisi: (2011)

Verification techniques for system-level design
Yazar:: Fujita, Masahiro, 1956-
Baskı/Yayın Bilgisi: (2008)

Engineering dependable software systems /
Baskı/Yayın Bilgisi: (2013)

Dependable software systems engineering /
Baskı/Yayın Bilgisi: (2015)

Property-preserving petri net process algebra in software engineering
Yazar:: Huang, Hejiao
Baskı/Yayın Bilgisi: (2012)

Petri nets fundamental models, verification and applications /
Baskı/Yayın Bilgisi: (2009)

The software audit guide /
Yazar:: Helgeson, John W., 1945-
Baskı/Yayın Bilgisi: (2009)

Software safety and security tools for analysis and verification /
Baskı/Yayın Bilgisi: (2012)

Robot framework test automation /
Yazar:: Bisht, Sumit
Baskı/Yayın Bilgisi: (2013)

Compact models for integrated circuit design : conventional transistors and beyond /
Yazar:: Saha, Samar K.
Baskı/Yayın Bilgisi: (2016)

Adaptive cooling of integrated circuits using digital microfluidics
Yazar:: Paik, Philip Y.
Baskı/Yayın Bilgisi: (2007)

Deadly arsenals nuclear, biological, and chemical threats /
Yazar:: Cirincione, Joseph
Baskı/Yayın Bilgisi: (2005)

Digital circuit analysis and design with simulink modeling
Yazar:: Karris, Steven T.
Baskı/Yayın Bilgisi: (2007)

Linear integrated circuits /
Yazar:: Choudhury, D. Roy
Baskı/Yayın Bilgisi: (2017)

Analog circuits
Baskı/Yayın Bilgisi: (2008)

Systems dependability assessment : benefits of petri net models /
Yazar:: Aubry, Jean-François, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Verification of infinite-state systems with applications to security
Baskı/Yayın Bilgisi: (2006)

Verification and validation of 3D free-surface flow models
Baskı/Yayın Bilgisi: (2009)

Analog circuit design
Baskı/Yayın Bilgisi: (2013)

Wafer-level testing and test during burn-in for integrated circuits
Yazar:: Bahukudumbi, Sudarshan
Baskı/Yayın Bilgisi: (2010)

Radio frequency integrated circuit design
Yazar:: Rogers, John (John W. M.)
Baskı/Yayın Bilgisi: (2003)

Designing bipolar transistor radio frequency integrated circuits
Yazar:: Sweet, Allen A., 1943-
Baskı/Yayın Bilgisi: (2008)

Radio-frequency integrated-circuit engineering /
Yazar:: Nguyen, Cam
Baskı/Yayın Bilgisi: (2015)

High-speed integrated circuit technology towards 100 GHz logic /
Baskı/Yayın Bilgisi: (2001)

Lumped elements for RF and microwave circuits
Yazar:: Bahl, I. J.
Baskı/Yayın Bilgisi: (2003)

Power-constrained testing of VLSI circuits
Yazar:: Nicolici, Nicola
Baskı/Yayın Bilgisi: (2003)

Microelectronic circuit design /
Yazar:: Jaeger, Richard C.
Baskı/Yayın Bilgisi: (2006)

Digital integrated circuits : analysis and design /
Yazar:: Ayers, John E.
Baskı/Yayın Bilgisi: (2010)

Minimal verificationism : on the limits of knowledge /
Yazar:: Haas, Gordian
Baskı/Yayın Bilgisi: (2015)

Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
Yazar:: Huss, Sorin A. (Sorin Alexander)
Baskı/Yayın Bilgisi: (2001)

VLSI circuits for biomedical applications
Baskı/Yayın Bilgisi: (2008)

Design of analog-digital VLSI circuits for telecommunications and ... /
Yazar:: Franca, Jose E.
Baskı/Yayın Bilgisi: (1994)

Alternative computer chips post-silicon circuits.
Baskı/Yayın Bilgisi: (2003)

Radio frequency integrated circuit design
Yazar:: Rogers, John (John W. M.)
Baskı/Yayın Bilgisi: (2010)

System-level design with Rosetta
Yazar:: Alexander, Perry
Baskı/Yayın Bilgisi: (2007)

Analog circuit design a tutorial guide to applications and solutions /
Baskı/Yayın Bilgisi: (2011)

Induction, probability, and confirmation
Baskı/Yayın Bilgisi: (1975)