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
Proceedings of the International Field Exploration and Development Conference 2018
$259.00
Frontiers in Geotechnical Engineering
$179.99
Maritime Interception and the Law of Naval Operations
$109.00
Advances in Cryptology CRYPTO 2017
$84.99
Nutrient Dynamics and Retention in Land/Water Ecotones of Lowland, Temperate Lakes and Rivers
$169.00
Bernard Shaw
$29.99
The Herpesviruses
$39.99
Fallsammlung zum Steuerrecht
$24.99
Bilingual Learners and Social Equity
$179.99
Data Integration in the Life Sciences
$54.99
Weird Fiction
$129.99
Global University Rankings
$54.99
Betriebserhaltung kommunaler Eigenbetriebe
$59.99
Stochastic Calculus
$79.99
An Expert Systems Approach to Computer-Aided Design of Multivariable Systems
$39.99
Kurzwellentherapie
$59.99
Die Theorien in der Kulturproduktion
$59.99
Mitigating Process Variability and Soft Errors at Circuit-Level for FinFETs
$59.99
Computer Aided Verification
$39.99
Complex Numbers
$54.99
MySQL for the Internet of Things
$37.99
Business Combinations im Konzernabschluss
$74.99
Intersectionality und Kritik
$44.99
The International Almanac of Electoral History
$169.99
Mediterranean Island Landscapes
$219.99
Vertrauen im Entscheidungsprozess
$69.99
Narrow-gap II-VI Compounds for Optoelectronic and Electromagnetic Applications
$219.99
Diagnostic Ultrasound
$84.99
Transport Development Challenges in the 21st Century
$169.99
Proceedings of International Joint Conference on Advances in Computational Intelligence
$169.00
Das Kalkbrennen im Schachtofen mit Mischfeuerung
$44.99
Advances in Microbiology, Infectious Diseases and Public Health
$109.99
Jordan Pairs
$34.99
Government Incentives for Innovation and Entrepreneurship
$199.99
Physikalische Chemie I: Thermodynamik und Kinetik
$44.99
Personelle Verflechtungen auf Konzernfhrungsebene
$59.99
Proceedings of the International Conference on Atomic, Molecular, Optical & Nano Physics with Applic
$199.99
Kompendium Internistische Onkologie
$54.99
Berufs- und Karriere-Planer MINT
$29.99
Unconventional Superconductors
$109.99
