Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Verteilte Laufzeitverifikation auf eingebetteten Systemen
Best Price (Coupon Required):
Buy Verteilte Laufzeitverifikation auf eingebetteten Systemen for $45.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$45.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Advances in Intelligent Data Analysis XI
$54.99
Popularizing Mathematical Methods in the Peoples Republic of China
$54.99
Problemlsungsmethoden in Expertensystemen
$69.99
Underwater Acoustic Digital Signal Processing and Communication Systems
$249.99
Forward Error Correction via Channel Coding
$84.99
Defining and Measuring Economic Resilience from a Societal, Environmental and Security Perspective
$99.99
JavaScript Creativity
$39.99
Uveitis and Immunological Disorders
$169.99
Geschichte, Biographie und friedenspolitisches Handeln
$44.99
Age of Cage- Four Decades of Hollywood Through One Singular Career by Keith Phipps
$18.99
Sustainable Environment
$199.99
Human Computer Interaction in Healthcare
$69.99
Computational Models for Neuroscience
$129.00
Elections and Democratization in Ukraine
$109.99
Islamverherrlichung
$49.99
Unearthing Joy
$27.74
Numerical Techniques for Engineering Analysis and Design
$39.99
Systematic Design for Optimisation of Pipelined ADCs
$129.00
Marine Nuclear Power Technology
$199.99
berzeugung und Manipulation
$59.99
Proceedings of International Conference on Computational Intelligence and Computing
$219.99
BOB Books Set #1: Beginning Readers
$17.99
Teamgeist
$24.99
Environmental Standards
$169.99
Catalysis Progress in Research
$39.99
Masculinity, Labour, and Neoliberalism
$84.99
English Fiction Since 1984
$54.99
Proceedings of Third International Conference on Computational Electronics for Wireless Communicatio
$219.99
Applications in Electronics Pervading Industry, Environment and Society
$249.99
International Public Health Policy and Ethics
$139.99
Oil and Gas Dictionary
$59.99
Gems in the Early Modern World
$159.99
Examinatorium Privatversicherungsrecht
$29.99
You Be Grandma by Karla Clark
$18.99
Wirkungsvolle Organisations- und Leitbildentwicklung in Kulturbetrieben
$17.99
Modeling Complex Phenomena
$109.99
Thermodynamische Behandlung einiger Eigenschaften des Wassers und des Wasserdampfes
$49.99
COVID in the Islands: A comparative perspective on the Caribbean and the Pacific
$169.99
Machine Learning and Knowledge Discovery in Databases
$109.99
Law and Economic Development
$179.99
