Search results 822
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....y used for the verification of hardware an......al methods and verification tools."--Provided by publishe...
- Subject HeadingComputer systems--Verification--Handbooks, manuals, etc. Computer systems--Verification.
Paper図書
National Diet Library
- Contents...ons Reporting, verification, and compliance Disarmament, ...
- Subject HeadingArms control. Disarmament. Nuclear arms control--Verification.
Paper図書
National Diet Library
- ContentsWhat are monitoring and verification regimes? South......monitoring and verification regimes.
- Subject Heading... arms control--Verification. Chemical arms control--Verification. Biological arms control--Verification. Disarmament--On-site inspect...
Paper図書
National Diet Library
- ContentsVerification by Finite-Dime......inciple of the Verification Fixed-Point Fo......ranov Equation Verification for Bifurcated......rm Programming Verification of the Local U......didate Set and Verification Condition Note......amming Example Verification of the Local U......-Type Method A Verification Algorithm Base......xed-Point Form Verification Condition Loca......f the Solution Verification Algorithm IS-R......ptic Problem A Verification Algorithm Base......nt Formulation Verification Algorithm The ......ction Problems Verification of Two-Dimensi......bolic Operator Verification Results for So......tion to Intlab Verifications for Finite-Dimensional Probl...
- Subject HeadingDifferential equations, Partial. Automatic theorem proving. Numerical calculations--Verification.
Paper図書
National Diet Library
- Subject HeadingComputer software--Verification--Congresses. Computer software--Verification.
Paper図書
National Diet Library
- Subject Heading...puter systems--Verification--Congresses. C......puter systems--Verification. Hybrid systems.
Paper図書
National Diet Library
- Summary, etc....Computer Aided Verification, CAV 2015, hel......plications; HW verification; synthesis; termination; and ...
- Subject Heading...uter software--Verification--Congresses. C......uter software--Verification.
Paper図書
National Diet Library
- Subject Heading...uter software--Verification--Congresses. C......uter software--Verification.
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingComputer software--Verification. Computer programs--Verification.
Paper図書
National Diet Library
- Subject Heading...uter software--Verification--Congresses. C......uter software--Verification.
Paper図書
National Diet Library
- Subject HeadingComputer software--Verification--Congresses. E......uter software--Verification. Electronic apparatus and app...
- Author HeadingIEEE International Verification and Security Workshop (1st : ...
Paper図書
National Diet Library
- Subject Heading...uter software--Verification--Congresses. C......uter software--Verification. Data encryption (Computer sc...
Paper図書
National Diet Library
- Contents...ar disarmament verification INDA inspections Sustainable ...
- Subject HeadingNuclear arms control--Verification--International cooperation Nu...
Paper図書
National Diet Library
- Summary, etc.... and analysis; verification.
- Subject Heading...uter programs--Verification--Congresses. C......uter software--Verification--Congresses. C......uter programs--Verification. Computer soft......uter software--Verification. Formal methods (Computer sci...
Paper図書
National Diet Library
- Subject Heading...uter software--Verification--Congresses. C......uter software--Verification.
- Note (General)...tware Testing, Verification and Validation : Proceedings ...
- Author Heading...tware Testing, Verification, and Validation (9th : 2016 :...
Paper図書
National Diet Library
- Subject HeadingComputer software--Verification--Congresses. Software enginee...
Paper図書
National Diet Library
- Subject Heading...uter programs--Verification--Congresses. C......uter software--Verification--Congresses. C......uter programs--Verification. Computer soft......uter software--Verification. Formal methods (Computer sci...
Paper図書
National Diet Library
- Subject Heading...puter systems--Verification--Congresses. C......puter systems--Verification. Cybernetics. Sensor networks...
Paper図書
National Diet Library
- Subject HeadingComputer systems -- Verification. Computer software -- Verification. Systèmes informatiques -- Vérification. Systèmes informatiques -- Vérification -- Modèles mat....... Logiciels -- Vérification -- Modèles mathématiques.
Paper図書
National Diet Library
- Authority(Subject Heading/altLabel)核査察 Nuclear arms control--Verification