Deadly arsenals nuclear, biological, and chemical threats / Joseph Cirincione, Jon B. Wolfsthal, Miriam Rajkumar.

by Cirincione, Joseph
Published 2005

Metamodeling-driven IP reuse for SoC integration and microprocessor design Deepak A. Mathaikutty, Sandeep K. Shukla.

by Mathaikutty, Deepak A.
Published 2009

Software safety and security tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

Published 2012

The greatest threat : Iraq, weapons of mass destruction, and the crisis of global security / Richard Butler.

by Butler, Richard, 1942-
Published 2000

Verification of infinite-state systems with applications to security edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.

Published 2006

Verification techniques for system-level design Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.

by Fujita, Masahiro, 1956-
Published 2008

The Chemical Weapons Convention implementation, challenges and opportunities / edited by Ramesh Thakur and Ere Haru.

Published 2006

Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Michael Yoeli and Rakefet Kol.

by Yoeli, Michael, 1917-
Published 2008

Seismological research requirements for a comprehensive test-ban monitoring system Panel on Seismological Research Requirements for a Comprehensive Test-Ban Monitoring System, Committee on Seismology, Board on Earth Sciences and Resources, Commission on Geosciences, Environment, and Resources, National Research Council.

Published 1995

Principles of model checking Christel Baier, Joost-Pieter Katoen.

by Baier, Christel
Published 2008

Germ gambits the bioweapons dilemma, Iraq and beyond / Amy E. Smithson.

by Smithson, Amy E.
Published 2011

Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus.

Published 2013

Robot framework test automation / Sumit Bisht.

by Bisht, Sumit
Published 2013

Dependable software systems engineering / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner.

Published 2015

Comprehensive nuclear test ban treaty technical issues for the United States / National Research Council of the National Academies.

Published 2012

The software audit guide / John W. Helgeson.

by Helgeson, John W., 1945-
Published 2009

Forensic seismology and nuclear test bans Alan Douglas.

by Douglas, Alan, 1936-
Published 2013

Verification and validation of 3D free-surface flow models sponsored by Task Committee on 3D Free-Surface Flow Model Verification and Validation, Environmental and Water Resources Institute (EWRI) of the American Society of Civil Engineers ; edited by Sam S.Y. Wang ... [et al.].

Published 2009

Detection of nuclear weapons and materials Pietro Egidi, editor.

Published 2010

Computer-aided verification of coordinating processes : the automata-theoretic approach / Robert P. Kurshan.

by Kurshan, R. P., 1943-
Published 1994