Tomeki

Explore Books on
verification

1-24 of 1,045 Books

View Arms control By United States. General Accounting Office

Arms control

Arms control

By United States. General Accounting Office

View Reachability Problems By Parosh Aziz Abdulla,Igor Potapov
Cover of Reachability Problems by parosh aziz abdulla,igor potapov

Reachability Problems

By Parosh Aziz Abdulla,Igor Potapov

View On-Site Inspection Agency By United States. Congress. House. Committee on Armed Services. Readiness Subcommittee.
Cover of On-Site Inspection Agency by united states. congress. house. committee on armed services. readiness subcommittee.

On-Site Inspection Agency

By United States. Congress. House. Committee on Armed Services. Readiness Subcommittee.

View On-site inspections under the CFE treaty By Joseph P. Harahan
Cover of On-site inspections under the CFE treaty by joseph p. harahan

On-site inspections under the CFE treaty

By Joseph P. Harahan

View Verification By Allan S. Krass

Verification

Verification

By Allan S. Krass

View Verification 1996 By J. B. Poole,R. Guthrie
Cover of Verification 1996 by j. b. poole,r. guthrie

Verification 1996

By J. B. Poole,R. Guthrie

View Verification 1995 By J. B. Poole
Cover of Verification 1995 by j. b. poole

Verification 1995

By J. B. Poole

View U.S. costs of verification and compliance under pending arms treaties By Michael E. O'Hanlon

U.S. costs of verification and compliance under pending arms treaties

U.S. costs of verification and compliance under pending arms treaties

By Michael E. O'Hanlon

View Reconfigurable system design and verification By Pao-Ann Hsiung
Cover of Reconfigurable system design and verification by pao-ann hsiung

Reconfigurable system design and verification

By Pao-Ann Hsiung

View The UN inspections in Iraq By Kathleen C. Bailey
Cover of The UN inspections in Iraq by kathleen c. bailey

The UN inspections in Iraq

By Kathleen C. Bailey

View Listening for the Bomb By Philip G. Schrag

Listening for the Bomb

Listening for the Bomb

By Philip G. Schrag

View Challenges of Verification By Heinz Gaertner

Challenges of Verification

Challenges of Verification

By Heinz Gaertner

View Verification of systems and circuits using LOTOS, Petri Nets, and CCS By Michael Yoeli,Michael Yoeli,Rakefet Kol
Cover of Verification of systems and circuits using LOTOS, Petri Nets, and CCS by michael yoeli,michael yoeli,rakefet kol

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

By Michael Yoeli,Michael Yoeli,Rakefet Kol

View Libya and Nuclear Proliferation By Wyn Q. Bowen
Cover of Libya and Nuclear Proliferation by wyn q. bowen

Libya and Nuclear Proliferation

By Wyn Q. Bowen

View Modeling in event-b By Jean-Raymond Abrial
Cover of Modeling in event-b by jean-raymond abrial

Modeling in event-b

By Jean-Raymond Abrial

View Practical design verification By Dhiraj K. Pradhan
Cover of Practical design verification by dhiraj k. pradhan

Practical design verification

By Dhiraj K. Pradhan

View Assertion-based design By Harry Foster,Harry D. Foster,Adam C. Krolnik,David J. Lacey
Cover of Assertion-based design by harry foster,harry d. foster,adam c. krolnik,david j. lacey

Assertion-based design

By Harry Foster,Harry D. Foster,Adam C. Krolnik,David J. Lacey

View Data flow analysis By Uday Khedker,Amitabha Sanyal,Bageshri Karkare
Cover of Data flow analysis by uday khedker,amitabha sanyal,bageshri karkare

Data flow analysis

By Uday Khedker,Amitabha Sanyal,Bageshri Karkare

View Endgame By Scott Ritter
Cover of Endgame by scott ritter

Endgame

By Scott Ritter

View Dismantling the Iraqi Nuclear Programme By Gudrun Harrer

Dismantling the Iraqi Nuclear Programme

Dismantling the Iraqi Nuclear Programme

By Gudrun Harrer

View A brief history of the On-Site Inspection Agency By David M. Willford
Cover of A brief history of the On-Site Inspection Agency by david m. willford

A brief history of the On-Site Inspection Agency

By David M. Willford

View U.S. capability to monitor compliance with the chemical weapons convention By United States. Congress. Senate. Select Committee on Intelligence.

U.S. capability to monitor compliance with the chemical weapons convention

U.S. capability to monitor compliance with the chemical weapons convention

By United States. Congress. Senate. Select Committee on Intelligence.

View On-site inspection for arms control By Richard L. Shearer

On-site inspection for arms control

On-site inspection for arms control

By Richard L. Shearer

View Reactive systems By Luca Aceto
Cover of Reactive systems by luca aceto

Reactive systems

By Luca Aceto