Verification of systems and circuits using LOTOS, Petri Nets, and CCS
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Байгууллагын зохиогч: | |
| Бусад зохиолчид: | |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Hoboken, N.J. :
Wiley-Interscience,
c2008.
|
| Цуврал: | Wiley series on parallel and distributed computing.
|
| Нөхцлүүд: | |
| Онлайн хандалт: | An electronic book accessible through the World Wide Web; click to view |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
Ижил төстэй зүйлс
Comprehensive functional verification the complete industry cycle
-н: Wile, Bruce
Хэвлэсэн: (2005)
-н: Wile, Bruce
Хэвлэсэн: (2005)
Verification by error modeling using testing techniques in hardware verification /
-н: Radecka, Katarzyna
Хэвлэсэн: (2003)
-н: Radecka, Katarzyna
Хэвлэсэн: (2003)
Principles of model checking
-н: Baier, Christel
Хэвлэсэн: (2008)
-н: Baier, Christel
Хэвлэсэн: (2008)
Verification techniques for system-level design
-н: Fujita, Masahiro, 1956-
Хэвлэсэн: (2008)
-н: Fujita, Masahiro, 1956-
Хэвлэсэн: (2008)
Biological petri nets
Хэвлэсэн: (2011)
Хэвлэсэн: (2011)
Engineering dependable software systems /
Хэвлэсэн: (2013)
Хэвлэсэн: (2013)
Dependable software systems engineering /
Хэвлэсэн: (2015)
Хэвлэсэн: (2015)
Property-preserving petri net process algebra in software engineering
-н: Huang, Hejiao
Хэвлэсэн: (2012)
-н: Huang, Hejiao
Хэвлэсэн: (2012)
Petri nets fundamental models, verification and applications /
Хэвлэсэн: (2009)
Хэвлэсэн: (2009)
The software audit guide /
-н: Helgeson, John W., 1945-
Хэвлэсэн: (2009)
-н: Helgeson, John W., 1945-
Хэвлэсэн: (2009)
Software safety and security tools for analysis and verification /
Хэвлэсэн: (2012)
Хэвлэсэн: (2012)
Robot framework test automation /
-н: Bisht, Sumit
Хэвлэсэн: (2013)
-н: Bisht, Sumit
Хэвлэсэн: (2013)
Compact models for integrated circuit design : conventional transistors and beyond /
-н: Saha, Samar K.
Хэвлэсэн: (2016)
-н: Saha, Samar K.
Хэвлэсэн: (2016)
Adaptive cooling of integrated circuits using digital microfluidics
-н: Paik, Philip Y.
Хэвлэсэн: (2007)
-н: Paik, Philip Y.
Хэвлэсэн: (2007)
Deadly arsenals nuclear, biological, and chemical threats /
-н: Cirincione, Joseph
Хэвлэсэн: (2005)
-н: Cirincione, Joseph
Хэвлэсэн: (2005)
Digital circuit analysis and design with simulink modeling
-н: Karris, Steven T.
Хэвлэсэн: (2007)
-н: Karris, Steven T.
Хэвлэсэн: (2007)
Linear integrated circuits /
-н: Choudhury, D. Roy
Хэвлэсэн: (2017)
-н: Choudhury, D. Roy
Хэвлэсэн: (2017)
Analog circuits
Хэвлэсэн: (2008)
Хэвлэсэн: (2008)
Systems dependability assessment : benefits of petri net models /
-н: Aubry, Jean-François, зэрэг
Хэвлэсэн: (2015)
-н: Aubry, Jean-François, зэрэг
Хэвлэсэн: (2015)
Verification of infinite-state systems with applications to security
Хэвлэсэн: (2006)
Хэвлэсэн: (2006)
Analog circuit design
Хэвлэсэн: (2013)
Хэвлэсэн: (2013)
Wafer-level testing and test during burn-in for integrated circuits
-н: Bahukudumbi, Sudarshan
Хэвлэсэн: (2010)
-н: Bahukudumbi, Sudarshan
Хэвлэсэн: (2010)
Verification and validation of 3D free-surface flow models
Хэвлэсэн: (2009)
Хэвлэсэн: (2009)
Designing bipolar transistor radio frequency integrated circuits
-н: Sweet, Allen A., 1943-
Хэвлэсэн: (2008)
-н: Sweet, Allen A., 1943-
Хэвлэсэн: (2008)
Radio frequency integrated circuit design
-н: Rogers, John (John W. M.)
Хэвлэсэн: (2003)
-н: Rogers, John (John W. M.)
Хэвлэсэн: (2003)
Radio-frequency integrated-circuit engineering /
-н: Nguyen, Cam
Хэвлэсэн: (2015)
-н: Nguyen, Cam
Хэвлэсэн: (2015)
High-speed integrated circuit technology towards 100 GHz logic /
Хэвлэсэн: (2001)
Хэвлэсэн: (2001)
Lumped elements for RF and microwave circuits
-н: Bahl, I. J.
Хэвлэсэн: (2003)
-н: Bahl, I. J.
Хэвлэсэн: (2003)
Power-constrained testing of VLSI circuits
-н: Nicolici, Nicola
Хэвлэсэн: (2003)
-н: Nicolici, Nicola
Хэвлэсэн: (2003)
Microelectronic circuit design /
-н: Jaeger, Richard C.
Хэвлэсэн: (2006)
-н: Jaeger, Richard C.
Хэвлэсэн: (2006)
Digital integrated circuits : analysis and design /
-н: Ayers, John E.
Хэвлэсэн: (2010)
-н: Ayers, John E.
Хэвлэсэн: (2010)
VLSI circuits for biomedical applications
Хэвлэсэн: (2008)
Хэвлэсэн: (2008)
Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
-н: Huss, Sorin A. (Sorin Alexander)
Хэвлэсэн: (2001)
-н: Huss, Sorin A. (Sorin Alexander)
Хэвлэсэн: (2001)
Minimal verificationism : on the limits of knowledge /
-н: Haas, Gordian
Хэвлэсэн: (2015)
-н: Haas, Gordian
Хэвлэсэн: (2015)
Design of analog-digital VLSI circuits for telecommunications and ... /
-н: Franca, Jose E.
Хэвлэсэн: (1994)
-н: Franca, Jose E.
Хэвлэсэн: (1994)
Alternative computer chips post-silicon circuits.
Хэвлэсэн: (2003)
Хэвлэсэн: (2003)
Radio frequency integrated circuit design
-н: Rogers, John (John W. M.)
Хэвлэсэн: (2010)
-н: Rogers, John (John W. M.)
Хэвлэсэн: (2010)
Analog circuit design a tutorial guide to applications and solutions /
Хэвлэсэн: (2011)
Хэвлэсэн: (2011)
System-level design with Rosetta
-н: Alexander, Perry
Хэвлэсэн: (2007)
-н: Alexander, Perry
Хэвлэсэн: (2007)
VLSI custom microelectronics digital, analog, and mixed-signal /
-н: Hurst, S. L. (Stanley Leonard)
Хэвлэсэн: (1999)
-н: Hurst, S. L. (Stanley Leonard)
Хэвлэсэн: (1999)