Livres de verification
37 livres dans ce genre
Verification, Model Checking, and Abstract Interpretation
Radhia Cousot
Correct hardware design and verification methods
CHARME'99 (1999 Bad Herrenalb, Germany)
Model Checking Software
Ezio Bartocci
Computer Aided Vertification
Gerhard Goos
Reactive systems
A Treaty on the Cutoff of Fissile Material for Nuclear Weapons - What to Cover? How to Verify? (PRIF reports)
Annette Schaper
SAT-based scalable formal verification solutions
Malay Ganai
Arms control verification
William F. Rowell
The Chemical Weapons Convention verification regime
Douglas L. Blackburn
Reversing the arms race
Frank Von Hippel
Compiler Specification And Verification
W. Polak
FALTER--a fault annotation tool
Timothy J. Shimeall
Verification, model checking, and abstract interpretation
VMCAI 2004 (Conference) (2004 Venice, Italy)
Rapid methods for analysis of biological materials in the environment
Trustworthy global computing
TGC 2007 (2007 Sophia-Antipolis, France)
Verification Practice under the Chemical Weapons Convention:A Commentary
Walter Krutzsch
A brief history of the On-Site Inspection Agency
David M. Willford
Practical design verification
Dhiraj K. Pradhan
The security situation on the Korean Peninsula
United States. Congress. House. Committee on Foreign Affairs. Subcommittee on International Security, International Organizations, and Human Rights.
Developments in North Korea
United States. Congress. House. Committee on Foreign Affairs. Subcommittee on Asia and the Pacific.