Supervised Testing of Embedded Concurrent Software
Produktform: Buch / Einband - flex.(Paperback)
This work provides means for a better understanding of the actions involved in the software testing of concurrent embedded systems. It complements the existing approaches for concurrency bug dynamic analysis with models of concurrency limitations present in the embedded systems domain and improves their precision, where the main evaluation criterion is the number of false positives.
61,00 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 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
Modular Safety Analysis with Dependency-aware Fault Trees
Produktform: Buch / Einband - flex.(Paperback)
80,00 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Scenario-based Derivation of Digital Ecosystem Requirements
Produktform: Buch / Einband - flex.(Paperback)
72,00 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Automated Fault Tree Analysis by Composition of Type-Annotated Component Fault Trees
Produktform: Buch / Einband - flex.(Paperback)
90,00 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Architecting Safe Eventually Consistent Systems
Produktform: Buch / Einband - flex.(Paperback)
70,00 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage