Imatge de la portada

Codi QR

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

Guardat en:

Dades bibliogràfiques
Autor principal:	Yoeli, Michael, 1917-
Autor corporatiu:	ebrary, Inc
Altres autors:	Kol, Rakefet
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Hoboken, N.J. : Wiley-Interscience, c2008.
Col·lecció:	Wiley series on parallel and distributed computing.
Matèries:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
Accés en línia:	An electronic book accessible through the World Wide Web; click to view
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Comprehensive functional verification the complete industry cycle
per: Wile, Bruce
Publicat: (2005)

Verification by error modeling using testing techniques in hardware verification /
per: Radecka, Katarzyna
Publicat: (2003)

Principles of model checking
per: Baier, Christel
Publicat: (2008)

Verification techniques for system-level design
per: Fujita, Masahiro, 1956-
Publicat: (2008)

Biological petri nets
Publicat: (2011)

Engineering dependable software systems /
Publicat: (2013)

Dependable software systems engineering /
Publicat: (2015)

Property-preserving petri net process algebra in software engineering
per: Huang, Hejiao
Publicat: (2012)

Petri nets fundamental models, verification and applications /
Publicat: (2009)

The software audit guide /
per: Helgeson, John W., 1945-
Publicat: (2009)

Software safety and security tools for analysis and verification /
Publicat: (2012)

Robot framework test automation /
per: Bisht, Sumit
Publicat: (2013)

Compact models for integrated circuit design : conventional transistors and beyond /
per: Saha, Samar K.
Publicat: (2016)

Adaptive cooling of integrated circuits using digital microfluidics
per: Paik, Philip Y.
Publicat: (2007)

Deadly arsenals nuclear, biological, and chemical threats /
per: Cirincione, Joseph
Publicat: (2005)

Digital circuit analysis and design with simulink modeling
per: Karris, Steven T.
Publicat: (2007)

Linear integrated circuits /
per: Choudhury, D. Roy
Publicat: (2017)

Analog circuits
Publicat: (2008)

Systems dependability assessment : benefits of petri net models /
per: Aubry, Jean-François, et al.
Publicat: (2015)

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

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

Analog circuit design
Publicat: (2013)

Wafer-level testing and test during burn-in for integrated circuits
per: Bahukudumbi, Sudarshan
Publicat: (2010)

Radio frequency integrated circuit design
per: Rogers, John (John W. M.)
Publicat: (2003)

Designing bipolar transistor radio frequency integrated circuits
per: Sweet, Allen A., 1943-
Publicat: (2008)

Radio-frequency integrated-circuit engineering /
per: Nguyen, Cam
Publicat: (2015)

High-speed integrated circuit technology towards 100 GHz logic /
Publicat: (2001)

Lumped elements for RF and microwave circuits
per: Bahl, I. J.
Publicat: (2003)

Power-constrained testing of VLSI circuits
per: Nicolici, Nicola
Publicat: (2003)

Microelectronic circuit design /
per: Jaeger, Richard C.
Publicat: (2006)

Digital integrated circuits : analysis and design /
per: Ayers, John E.
Publicat: (2010)

Minimal verificationism : on the limits of knowledge /
per: Haas, Gordian
Publicat: (2015)

Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
per: Huss, Sorin A. (Sorin Alexander)
Publicat: (2001)

VLSI circuits for biomedical applications
Publicat: (2008)

Design of analog-digital VLSI circuits for telecommunications and ... /
per: Franca, Jose E.
Publicat: (1994)

Alternative computer chips post-silicon circuits.
Publicat: (2003)

Radio frequency integrated circuit design
per: Rogers, John (John W. M.)
Publicat: (2010)

System-level design with Rosetta
per: Alexander, Perry
Publicat: (2007)

Analog circuit design a tutorial guide to applications and solutions /
Publicat: (2011)

Induction, probability, and confirmation
Publicat: (1975)