Obálka

QR kód

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

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Yoeli, Michael, 1917-
Korporativní autor:	ebrary, Inc
Další autoři:	Kol, Rakefet
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Hoboken, N.J. : Wiley-Interscience, c2008.
Edice:	Wiley series on parallel and distributed computing.
Témata:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
On-line přístup:	An electronic book accessible through the World Wide Web; click to view
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Comprehensive functional verification the complete industry cycle
Autor: Wile, Bruce
Vydáno: (2005)

Verification by error modeling using testing techniques in hardware verification /
Autor: Radecka, Katarzyna
Vydáno: (2003)

Principles of model checking
Autor: Baier, Christel
Vydáno: (2008)

Biological petri nets
Vydáno: (2011)

Verification techniques for system-level design
Autor: Fujita, Masahiro, 1956-
Vydáno: (2008)

Engineering dependable software systems /
Vydáno: (2013)

Dependable software systems engineering /
Vydáno: (2015)

Property-preserving petri net process algebra in software engineering
Autor: Huang, Hejiao
Vydáno: (2012)

Petri nets fundamental models, verification and applications /
Vydáno: (2009)

The software audit guide /
Autor: Helgeson, John W., 1945-
Vydáno: (2009)

Software safety and security tools for analysis and verification /
Vydáno: (2012)

Robot framework test automation /
Autor: Bisht, Sumit
Vydáno: (2013)

Compact models for integrated circuit design : conventional transistors and beyond /
Autor: Saha, Samar K.
Vydáno: (2016)

Adaptive cooling of integrated circuits using digital microfluidics
Autor: Paik, Philip Y.
Vydáno: (2007)

Deadly arsenals nuclear, biological, and chemical threats /
Autor: Cirincione, Joseph
Vydáno: (2005)

Digital circuit analysis and design with simulink modeling
Autor: Karris, Steven T.
Vydáno: (2007)

Linear integrated circuits /
Autor: Choudhury, D. Roy
Vydáno: (2017)

Analog circuits
Vydáno: (2008)

Systems dependability assessment : benefits of petri net models /
Autor: Aubry, Jean-François, a další
Vydáno: (2015)

Verification of infinite-state systems with applications to security
Vydáno: (2006)

Verification and validation of 3D free-surface flow models
Vydáno: (2009)

Analog circuit design
Vydáno: (2013)

Wafer-level testing and test during burn-in for integrated circuits
Autor: Bahukudumbi, Sudarshan
Vydáno: (2010)

Radio frequency integrated circuit design
Autor: Rogers, John (John W. M.)
Vydáno: (2003)

Designing bipolar transistor radio frequency integrated circuits
Autor: Sweet, Allen A., 1943-
Vydáno: (2008)

Radio-frequency integrated-circuit engineering /
Autor: Nguyen, Cam
Vydáno: (2015)

High-speed integrated circuit technology towards 100 GHz logic /
Vydáno: (2001)

Lumped elements for RF and microwave circuits
Autor: Bahl, I. J.
Vydáno: (2003)

Power-constrained testing of VLSI circuits
Autor: Nicolici, Nicola
Vydáno: (2003)

Microelectronic circuit design /
Autor: Jaeger, Richard C.
Vydáno: (2006)

Digital integrated circuits : analysis and design /
Autor: Ayers, John E.
Vydáno: (2010)

Minimal verificationism : on the limits of knowledge /
Autor: Haas, Gordian
Vydáno: (2015)

VLSI circuits for biomedical applications
Vydáno: (2008)

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

Design of analog-digital VLSI circuits for telecommunications and ... /
Autor: Franca, Jose E.
Vydáno: (1994)

Alternative computer chips post-silicon circuits.
Vydáno: (2003)

Radio frequency integrated circuit design
Autor: Rogers, John (John W. M.)
Vydáno: (2010)

Analog circuit design a tutorial guide to applications and solutions /
Vydáno: (2011)

System-level design with Rosetta
Autor: Alexander, Perry
Vydáno: (2007)

Induction, probability, and confirmation
Vydáno: (1975)