- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783980351560
3980351564
- Dimensions
-
30 cm
- Extent
-
170 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
- Bibliographic citation
-
Bochumer Schriften zur Friedenssicherung und zum humanitären Völkerrecht ; Vol. 11Verification research reports
- Keyword
-
Militärfahrzeug
Seismische Welle
Messung
Rüstungsbegrenzung
Verifikation
Militärfahrzeug
Akustisches Signal
Messung
Rüstungsbegrenzung
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Lenzen
- (who)
-
Grüneberg
- (when)
-
2001
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:53 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Grüneberg
Time of origin
- 2001
Other Objects (12)
Training Manual for Monitoring and Verification Platform (MVP)
Timing of Verification Procedures: Monitoring versus Auditing
UNMOVIC (United Nations Monitoring, Verification and Inspection Commission)
Policy recommendations on Monitoring & Verification schemes in EU
A verification plan for systematic verification of mechatronic systems
Constraint solving for verification
Decomposition for compositional verification
FEASIBILITY VERIFICATION OF VIRTUAL REFERENCE STATION TECHNOLOGY IN GEOLOGICAL HAZARD MONITORING
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Verification
Nanooptical elements for visual verification
Hierarchic decision procedures for verification
Training Manual for Monitoring and Verification Platform (MVP)
Timing of Verification Procedures: Monitoring versus Auditing
UNMOVIC (United Nations Monitoring, Verification and Inspection Commission)
Policy recommendations on Monitoring & Verification schemes in EU
A verification plan for systematic verification of mechatronic systems
Constraint solving for verification
Decomposition for compositional verification
FEASIBILITY VERIFICATION OF VIRTUAL REFERENCE STATION TECHNOLOGY IN GEOLOGICAL HAZARD MONITORING
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Verification
Nanooptical elements for visual verification
Hierarchic decision procedures for verification
Training Manual for Monitoring and Verification Platform (MVP)
Timing of Verification Procedures: Monitoring versus Auditing
UNMOVIC (United Nations Monitoring, Verification and Inspection Commission)
Policy recommendations on Monitoring & Verification schemes in EU
A verification plan for systematic verification of mechatronic systems
Constraint solving for verification
Decomposition for compositional verification
FEASIBILITY VERIFICATION OF VIRTUAL REFERENCE STATION TECHNOLOGY IN GEOLOGICAL HAZARD MONITORING
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Verification
Nanooptical elements for visual verification