Search Results

1

Seismological research requirements for a comprehensive test-ban monitoring system /

Seismological research requirements for a comprehensive test-ban monitoring system /

Published 1995

Electronic book from EBSCO

eBook

2

Technical issues related to the Comprehensive Nuclear Test Ban Treaty /

Technical issues related to the Comprehensive Nuclear Test Ban Treaty /

Published 2002

Electronic book from EBSCO

eBook

3

Forensic seismology and nuclear test bans /

Forensic seismology and nuclear test bans /

by Douglas, Alan, 1936-2015.
Published 2013

Electronic book from EBSCO

eBook

4

Comprehensive nuclear-test-ban treaty : elements, arguments, and analyses /

Comprehensive nuclear-test-ban treaty : elements, arguments, and analyses /

Published 2013

Electronic book from EBSCO

eBook

5

Verification techniques for system-level design /

Verification techniques for system-level design /

by Fujita, Masahiro, 1956-
Published 2008

Electronic book from EBSCO

eBook

6

Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /

Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /

Published 2012

Electronic book from Springer Complete

Conference Proceeding eBook

7

Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /

Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /

Published 2012

Electronic book from Springer Complete

Conference Proceeding eBook

8

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings /

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings /

Published 2012

Electronic book from Springer Complete

Conference Proceeding eBook

9

Functional verification of programmable embedded architectures : a top-down approach /

Functional verification of programmable embedded architectures : a top-down approach /

by Mishra, Prabhat, 1973-
Published 2005

Electronic book from Springer Complete

eBook

10

Verified software: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings /

Verified software: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings /

Published 2010

Electronic book from Springer Complete

Conference Proceeding eBook

11

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings /

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings /

Published 2010

Electronic book from Springer Complete

Conference Proceeding eBook

12

Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /

Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /

Published 2011

Electronic book from Springer Complete

Conference Proceeding eBook

13

Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers /

Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers /

Published 2009

Electronic book from Springer Complete

Conference Proceeding eBook

14

Models in hardware testing : lecture notes of the forum in honor of Christian Landrault /

Models in hardware testing : lecture notes of the forum in honor of Christian Landrault /

Published 2010

Electronic book from Springer Complete

eBook

15

Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings /

Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings /

Published 2010

Electronic book from Springer Complete

Conference Proceeding eBook

16

Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /

Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /

Published 2007

Electronic book from Springer Complete

Conference Proceeding eBook

17

Unfoldings : a partial-order approach to model checking /

Unfoldings : a partial-order approach to model checking /

by Esparza, Javier.
Published 2008

Electronic book from Springer Complete

eBook

18

Functional design errors in digital circuits : diagnosis, correction and repair /

Functional design errors in digital circuits : diagnosis, correction and repair /

by Chang, Kai-hui.
Published 2009

Electronic book from Springer Complete

eBook

19

Test pattern generation using boolean proof engines /

Test pattern generation using boolean proof engines /

Published 2009

Electronic book from Springer Complete

eBook

20

Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings /

Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings /

Published 2011

Electronic book from Springer Complete

Conference Proceeding eBook

1
2
Next
[2]