Cover Image

QR Code

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

Saved in:

Bibliographic Details
Main Author:	Yoeli, Michael, 1917-
Corporate Author:	ebrary, Inc
Other Authors:	Kol, Rakefet
Format:	Electronic eBook
Language:	English
Published:	Hoboken, N.J. : Wiley-Interscience, c2008.
Series:	Wiley series on parallel and distributed computing.
Subjects:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Comprehensive functional verification the complete industry cycle
by: Wile, Bruce
Published: (2005)

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

Principles of model checking
by: Baier, Christel
Published: (2008)

Biological petri nets
Published: (2011)

Verification techniques for system-level design
by: Fujita, Masahiro, 1956-
Published: (2008)

Dependable software systems engineering /
Published: (2015)

Engineering dependable software systems /
Published: (2013)

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

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

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

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

Robot framework test automation /
by: Bisht, Sumit
Published: (2013)

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

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

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

Linear integrated circuits /
by: Choudhury, D. Roy
Published: (2017)

Deadly arsenals nuclear, biological, and chemical threats /
by: Cirincione, Joseph
Published: (2005)

Analog circuits
Published: (2008)

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

Analog circuit design
Published: (2013)

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

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

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

Radio frequency integrated circuit design
by: Rogers, John (John W. M.)
Published: (2003)

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

Radio-frequency integrated-circuit engineering /
by: Nguyen, Cam
Published: (2015)

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

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

Power-constrained testing of VLSI circuits
by: Nicolici, Nicola
Published: (2003)

Microelectronic circuit design /
by: Jaeger, Richard C.
Published: (2006)

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

VLSI circuits for biomedical applications
Published: (2008)

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

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

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

Minimal verificationism : on the limits of knowledge /
by: Haas, Gordian
Published: (2015)

Radio frequency integrated circuit design
by: Rogers, John (John W. M.)
Published: (2010)

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

System-level design with Rosetta
by: Alexander, Perry
Published: (2007)

VLSI custom microelectronics digital, analog, and mixed-signal /
by: Hurst, S. L. (Stanley Leonard)
Published: (1999)