Copied Verteilte Laufzeitverifikation auf eingebetteten Systemen
Verteilte Laufzeitverifikation auf eingebetteten Systemen
In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit berwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehrige Monitorkonstruktionen fr den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme. Als Fallstudie dient dabei die sichere und korrekte Steuerung von Industrieanlagen mithilfe von innovativen berwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$49.99 | $49.99 |
|
$49.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Poised for Excellence
$29.99
Dictionary of Contact Allergens
$39.99
Advances in Nanotechnology and Its Applications
$99.99
Embodied Performances
$54.99
Meilensteine der Interkulturalittsforschung
$44.99
Imagery and Related Mnemonic Processes
$39.99
Estimating Abundance of African Wildlife
$129.00
rztlicher Ratgeber fr Auslandsaufenthalte
$54.99
Neurobiology of "Umwelt"
$169.99
Measurement of Agricultural Protection
$44.99
Computer Science and Education in Computer Science
$99.99
Inklusive Sprachbildung im Kontext von Mehrsprachigkeit und sonderpdagogischer Frderbedarf
$99.99
Innovations and Economic and Social Changes due to Artificial Intelligence: The State of the Art
$179.99
Festkrperanalysen mit dem Massenspektrometer
$59.99
Towards new e-Infrastructure and e-Services for Developing Countries
$84.99
Ultrastructure, Macromolecules, and Evolution
$54.99
Operator Theory and Boundary Eigenvalue Problems
$39.99
Notions of Convexity
$139.99
The Dynamic Body Tissues
$39.99
Torso und Korso
$59.99
The Many Faces of Maxwell, Dirac and Einstein Equations
$159.00
Nutrient Reduction and Biomanipulation as Tools to Improve Water Quality: The Lake Ringsjn Story
$109.99
Genetic Aspects of Plant Mineral Nutrition
$39.99
Lipoprotein Subfractions Omega-3 Fatty Acids
$54.99
How Does Your Salad Grow?
$4.46
Dialogue as a Means of Collective Communication
$84.99
Adipose Tissue and Adipokines in Health and Disease
$89.00
Strategieentwicklung in Banken
$39.99
Approaches to Gender and Spoken Classroom Discourse
$54.99
Refractory Semiconductor Materials
$54.99
Bioremediation Protocols
$84.99
The Digital Transformation of the Automotive Industry
$109.00
Diamagnetic Diatomic Molecules, Part 1
$549.99
Distributed, Ambient and Pervasive Interactions
$89.99
Multidisciplinary Design Optimization Methods for Electrical Machines and Drive Systems
$99.00
Biotechnological Interventions Augmenting Livestock Health and Production
$279.99
Kulturbasiertes IT-Recruiting
$37.99
Einfhrung in Algebra und Zahlentheorie
$39.99
Die Krisen des Homo technologicus
$59.99
Polymer Latexes Epoxide Resins Polyampholytes
$39.99
