- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783980351560
3980351564
- Maße
-
30 cm
- Umfang
-
170 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
- Erschienen in
-
Bochumer Schriften zur Friedenssicherung und zum humanitären Völkerrecht ; Vol. 11Verification research reports
- Schlagwort
-
Militärfahrzeug
Seismische Welle
Messung
Rüstungsbegrenzung
Verifikation
Militärfahrzeug
Akustisches Signal
Messung
Rüstungsbegrenzung
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Lenzen
- (wer)
-
Grüneberg
- (wann)
-
2001
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Grüneberg
Entstanden
- 2001
Ähnliche Objekte (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