منابع مشابه
Ansätze zum Nachweis der Gleichwertigkeit von Software-Komponenten
Wie kann man heute ein bereits seit Jahren im Markt befindliches System nach einer Änderung effizient rezertifizieren? In diesem Artikel wird ein Lösungsansatz skizziert. Ausgehend von einer Risikoanalyse werden geeignete Vorgehensweisen und Kriterien abgeleitet, mit denen sich operational die Gleichwertigkeit von Software-Komponenten fassen lässt. Ein effizientes Vorgehen sähe dann wie folgt a...
متن کاملStrategien zur sicheren Bereitstellung von Energiedaten und zum Nachweis von Informationsweitergaben gemäß §9 EnWG
1. Einleitung
متن کاملFormaler Nachweis der Fehlertoleranz von Schaltkreisen
While facing continuously shrinking feature sizes, the demand for fault tolerance in digital circuits increases. Numerous approaches to achieve such robustness on the design side have been presented. But ensuring that the fault tolerance is really achieved is a tough verification problem. Here, we propose a formal model and an effective algorithm to formally prove the robustness of a digital ci...
متن کامل18F-FDG PET zum Nachweis von Fernmetastasen und Zweitmalignomen bei Patienten mit einem Plattenepithelkarzinom der Mundhöhle und des Oropharynx
Aim: Assessment of the efficiency of 18F-FDGPET (PET) for the detection of distant metastases and synchronous primary malignancies in patients with oral and oropharyngeal squamous cell cancer (OOSCC). Patients, methods: Retrospective evaluation of PET studies of 422 patients with histologically confirmed OOSCC. 99 patients (23.5%) demonstrated a suspect distant finding of whom 84 could be inter...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift f�r Analytische Chemie
سال: 1911
ISSN: 1618-2642,1618-2650
DOI: 10.1007/bf01469620