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

Verification techniques for system-level design
由: Fujita, Masahiro, 1956-
出版: (2008)

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, et al.
出版: (2015)

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

Analog circuit design
出版: (2013)

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

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

Radio frequency integrated circuit design
由: Rogers, John (John W. M.)
出版: (2003)

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

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)

Minimal verificationism : on the limits of knowledge /
由: Haas, Gordian
出版: (2015)

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)

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)