Ihre Suche ergab 30 Treffer.
Software-Qualität
Testen, Analysieren und Verifizieren von Software
Produktform: E-Buch Text Elektronisches Buch in proprietärem
86,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software-Qualität
Testen, Analysieren und Verifizieren von Software
Produktform: Buch / Einband - fest (Hardcover)
109,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Object-Oriented and Internet-Based Technologies
5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27–30, 2004 Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Object-Oriented and Internet-Based Technologies
5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27–30, 2004 Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Computer Safety, Reliability, and Security
23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Computer Safety, Reliability, and Security
23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Testen, Analysieren und Verifizieren von Software
Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
Produktform: Buch / Einband - flex.(Paperback)
54,99 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Testen, Analysieren und Verifizieren von Software
Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
Produktform: E-Buch Text Elektronisches Buch in proprietärem
42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Data-driven context modeling for the elicitation of context-aware functionalities
Produktform: Buch / Einband - flex.(Paperback)
108,00 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis
Produktform: Buch / Einband - flex.(Paperback)
Die Arbeit bedient sich der Quantifizierung von Sicherheitsanalysen, um genauere Schranken für die maximale Ausführungszeit eingebetteter Systeme ermitteln zu können. Dabei stehen vor allem sicherheitskritische eingebettete Systeme im Vordergrund. Bei Systemen dieser Art kommen oft Fehlertoleranzmechanismen zum Einsatz, die mittels herkömmlicher Verfahren typischerweise sehr konservativ behandelt werden und nur schwer zu analysieren sind.
40,00 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage