Cargando…

The spin model checker: primer and reference manual

Detalles Bibliográficos
Autor principal:	Holzmann, Gerald J
Lenguaje:	eng
Publicado:	Addison-Wesley 2004
Materias:	Engineering
Acceso en línea:	http://cds.cern.ch/record/1506048

Ejemplares similares

Generating hardware assertion checkers
por: Boulé, Marc, et al.
Publicado: (2008)

Reference Manual of Transistor Circuits
por: Mullard, London
Publicado: (1961)

Electronic data reference manual
por: Mandl, Matthew
Publicado: (1979)

Reference manual for telecommunications engineering
por: Freeman, Roger L
Publicado: (1985)

Chess Not Checkers
por: Miller, Mark
Publicado: (2015)

Tutorial: Parameterized Verification with Byzantine Model Checker
por: Konnov, Igor, et al.
Publicado: (2020)

A CTL* Model Checker for Petri Nets
por: Amparore, Elvio Gilberto, et al.
Publicado: (2020)

Hyperelasticity primer
por: Hackett, Robert M
Publicado: (2016)

Telecommunications primer
por: Langley, Graham
Publicado: (1983)

The Potential Possibility of Symptom Checker
por: Morita, Tomohiro, et al.
Publicado: (2017)

Cultural Humility: The Bias Checker
por: Moore-Bembry, Natalie
Publicado: (2021)

TTCrx reference manual: a timing, trigger and control receiver ASIC for LHC detectors
por: Christiansen, J, et al.
Publicado: (2005)

Manual of logic circuits
por: Maley, Gerald A
Publicado: (1970)

ABB switchgear manual
por: Gremmel, Hennig, et al.
Publicado: (2006)

AAscan, PCRdesign and MutantChecker: A Suite of Programs for Primer Design and Sequence Analysis for High-Throughput Scanning Mutagenesis
por: Sun, Dawei, et al.
Publicado: (2013)

Digital imaging primer
por: Parkin, Alan
Publicado: (2016)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling
por: Roohi, Nima, et al.
Publicado: (2020)

starMC: an automata based CTL* model checker
por: Amparore, Elvio Gilberto, et al.
Publicado: (2022)

DELPHI data quality checker guide
por: Chorowicz, V
Publicado: (1995)

Electric circuits: a primer
por: Olivier, JC
Publicado: (2018)

Signals and systems primer with Matlab
por: Poularikas, Alexander D
Publicado: (2006)

Big data: a primer
por: Mohanty, Hrushikesha, et al.
Publicado: (2015)

A primer on electromagnetic fields
por: Frezza, Fabrizio
Publicado: (2015)

Active noise control primer
por: Snyder, Scott D
Publicado: (2000)

Engineering dynamics: a primer
por: O’Reilly, Oliver M
Publicado: (2001)

Electromagnetic Properties of Multiphase Dielectrics: A Primer on Modeling, Theory and Computation
por: Zohdi, Tarek I
Publicado: (2012)

N-PAT: A Nested Model-Checker: (System Description)
por: Bride, Hadrien, et al.
Publicado: (2020)

Digital defense: a cybersecurity primer
por: Pelton, Joseph, et al.
Publicado: (2015)

A primer of signal detection theory
por: McNicol, D
Publicado: (1972)

OFDM and MC-CDMA: a primer
por: Hanzo, Lajos, et al.
Publicado: (2006)

Random signals and processes primer with MATLAB
por: Dolecek, Gordana Jovanovic
Publicado: (2013)

Signals and systems: a primer with Matlab
por: Sadiku, Matthew N O, et al.
Publicado: (2015)

A brief overview of animal symptom checkers
por: Stans, Jelle
Publicado: (2020)

Complexity management in engineering design: a primer
por: Maurer, Maik
Publicado: (2017)

A finite element primer for beginners: the basics
por: Zohdi, Tarek I
Publicado: (2014)

Complex and Adaptive Dynamical Systems: A Primer
por: Gros, Claudius
Publicado: (2011)

Control valve primer: a user's guide
por: Baumann, Hans D
Publicado: (1994)

Spin current
por: Maekawa, Sadamichi, et al.
Publicado: (2017)

Spin current
por: Maekawa, S, et al.
Publicado: (2012)

Mutalyzer 2: next generation HGVS nomenclature checker
por: Lefter, Mihai, et al.
Publicado: (2021)

Cannot write session to /tmp/vufind_sessions/sess_858mjg4l1jdus7thrj2v4fllod