Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Сохранить в:
| Главный автор: | |
|---|---|
| Соавтор: | |
| Другие авторы: | |
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
Hoboken, N.J. :
Wiley-Interscience,
c2008.
|
| Серии: | Wiley series on parallel and distributed computing.
|
| Предметы: | |
| Online-ссылка: | An electronic book accessible through the World Wide Web; click to view |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
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)
Biological petri nets
Опубликовано: (2011)
Опубликовано: (2011)
Verification techniques for system-level design
по: Fujita, Masahiro, 1956-
Опубликовано: (2008)
по: Fujita, Masahiro, 1956-
Опубликовано: (2008)
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)
Verification and validation of 3D free-surface flow models
Опубликовано: (2009)
Опубликовано: (2009)
Analog circuit design
Опубликовано: (2013)
Опубликовано: (2013)
Wafer-level testing and test during burn-in for integrated circuits
по: Bahukudumbi, Sudarshan
Опубликовано: (2010)
по: Bahukudumbi, Sudarshan
Опубликовано: (2010)
Radio frequency integrated circuit design
по: Rogers, John (John W. M.)
Опубликовано: (2003)
по: Rogers, John (John W. M.)
Опубликовано: (2003)
Designing bipolar transistor radio frequency integrated circuits
по: Sweet, Allen A., 1943-
Опубликовано: (2008)
по: Sweet, Allen A., 1943-
Опубликовано: (2008)
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)
Minimal verificationism : on the limits of knowledge /
по: Haas, Gordian
Опубликовано: (2015)
по: Haas, Gordian
Опубликовано: (2015)
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)
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)
Induction, probability, and confirmation
Опубликовано: (1975)
Опубликовано: (1975)