Sign-In
Cart
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques
Paperback
Please select the version of book you would like to purchase.
ISBN10: 3642362486
ISBN13: 9783642362484
Publisher: Springer
Published: Jan 9 2013
Pages: 341
Weight: 1.09
Height: 0.73 Width: 6.14 Depth: 9.21
Language: English
ISBN13: 9783642362484
Publisher: Springer
Published: Jan 9 2013
Pages: 341
Weight: 1.09
Height: 0.73 Width: 6.14 Depth: 9.21
Language: English
Model Checking Adaptive Software with Featured Transition Systems.- Probabilistic Verification at Runtime for Self-Adaptive Systems.- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud.- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures.- Timed Hazard Analysis of Self-healing Systems.- Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML.- Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice.- Achieving Self-adaptation through Dynamic Group Management.- Accurate Proactive Adaptation of Service-Oriented Systems.- Failure Avoidance in Configurable Systems through Feature Locality.- Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software.- Assurance of Self-adaptive Controllers for the Cloud.
Also in
Operating Systems
RHCSA Red Hat Enterprise Linux 10: Training and Exam Preparation Guide (EX200), Fourth Edition
Ghori, Asghar
Paperback
$72.00
I Have an App Idea: The Essential Guide to Building an App Without Tech Skills
Spann, Amanda
Paperback
$17.05
Microsoft Windows 11 - Tips & Tricks: Quickstudy Laminated Computer Reference Guide
Gatto, Katie
Other
$7.55
The Practice of System and Network Administration: Devops and Other Best Practices for Enterprise It, Volume 1
Hogan, Christina
Chalup, Strata
Limoncelli, Thomas
Paperback
$83.99
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
Occupytheweb
Paperback
$37.99
Laptops for Seniors in Easy Steps, 9th Edition: Covers All Laptops with the Windows 11 2024 Update
Vandome, Nick
Paperback
$23.74
Microsoft Copilot Studio Step by Step: Customizing Copilot and Creating Agents
Crosbie, Lisa
Paperback
$71.99
Samsung Galaxy A17 5G User Guide: A Comprehensive, Step-by-Step Manual with Practical Tips for Beginners and Seniors
Gavriel, John
Paperback
$13.19
RHCSA Red Hat Enterprise Linux 9: Training and Exam Preparation Guide (EX200), Third Edition
Ghori, Asghar
Paperback
$57.60
The Wireless Cookbook: Build Real Projects and Master Wi-Fi, Bluetooth, and Lora
Zimmerman, Bill
Paperback
$56.99
Comptia A+ Certification All-In-One Exam Guide, Eleventh Edition (Exams 220-1101 & 220-1102)
Hutz, Andrew
Everett, Travis A.
Hardcover
$57.00
The Linux Programming Interface: A Linux and Unix System Programming Handbook
Kerrisk, Michael
Hardcover
$94.99
Exploring Windows 11 - 2025 Edition: The Illustrated, Practical Guide to Using Microsoft Windows
Wilson, Kevin
Paperback
$39.36
The Cathedral & the Bazaar: Musings on Linux and Open Source by an Accidental Revolutionary
Raymond, Eric S.
Paperback
$23.74
What On Earth is a Mainframe?: An Introduction to IBM Z Mainframes and z/OS Operating System for Total Beginners
Stephens, David
Paperback
$24.38
Microsoft 365 Copilot Adoption: A Practical Guide for Business Leaders and Consultants
Smith, Mark
Smith, Megan
Paperback
$41.99
Windows 11 Manual For Seniors: A Beginners Guide to Navigate Your Computer with Step-by-Step Instructions
Wells, Larry
Paperback
$16.24
Cyberdeck Grimoire: A Beginner's Field Manual to Building Your Own Portable Computer: A Beginner's Field Manual to Building Your Own
Lane Publishing, Zinnia
Paperback
$23.74
Android Studio Panda Essentials - Java Edition: Developing Android Apps Using Android Studio Panda and Java
Smyth, Neil
Paperback
$58.74
Mac for Seniors - Sonoma Edition: The illustrated, Step-by-step guide on how to use MacOS (Large Print Edition)
Wilson, Kevin
Paperback
$33.74
Master Zorin OS 18: A Complete Hands-On Guide to Linux Mastery with Zorin OS 18
Mykel, Ross
Paperback
$14.39
The Accidental Administrator: Cisco Router Step-by-Step Configuration Guide
Crawley, Don R.
Paperback
$38.00
Windows Internals: System Architecture, Processes, Threads, Memory Management, and More, Part 1
Russinovich, Mark
Solomon, David
Yosifovich, Pavel
Paperback
$74.99
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Paperback
$62.49
Windows 11 Tips, Tricks & Shortcuts in Easy Steps: 1000+ Tips, Tricks and Shortcuts
Vandome, Nick
Paperback
$18.04
MacBook Neo User Guide: Seniors and Beginners Easy to follow Manual With ILLUSTRATIONS to Master Their Device Quickly [Tips and Trips included]
Klaywood Philip, Sans
Paperback
$31.19
Comptia A+ Complete Study Guide: Core 1 Exam 220-1101 and Core 2 Exam 220-1102
Docter, Quentin
Buhagiar, Jon
Paperback
$59.85
Effective Shell: A Practical User's Guide to Working Smarter on the Command Line
Kerr, Dave
Paperback
$47.49
Linux Kernel Programming - Second Edition: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization
Billimoria, Kaiwan N.
Paperback
$62.49
Windows 11 for Enterprise Administrators - Second Edition: Unleash the power of Windows 11 with effective techniques and strategies
Miles, Steve
Singer, Manuel
Stokes, Jeff
Paperback
$62.49
Don't Be Afraid of the Mainframe: The Missing Introduction for IT Leaders and Professionals
de Greef, Niek
Paperback
$37.95
Learning the VI and VIM Editors: Power and Agility Beyond Just Text Editing
Robbins, Arnold
Hannah, Elbert
Paperback
$62.69
Linux: A Complete Guide to Learn Linux Commands, Linux Operating System and Shell Scripting Step-by-Step
Ayden, Nicholas
Paperback
$17.96
Powershell Cookbook: Your Complete Guide to Scripting the Ubiquitous Object-Based Shell
Holmes, Lee
Paperback
$85.49
Android Phone User Guide for Seniors: A Beginner-Friendly Guide to Calling, Texting, Photos, Apps & Online Safety
Foster, Henry L.
Paperback
$19.19
How to Build Android Applications with Kotlin - Third Edition: A hands-on guide to developing, testing, and publishing production-grade Android 16 app
Dumbravan, Alexandru
Forrester, Alex
Boudjnah, Eran
Paperback
$62.49
Chatgpt: A Guide to Making Money With Chatgpt (Creative Ways for Teens and Young Adults to Make Money With Chatgpt)
Trotter, Thomas
Paperback
$18.95
Lpic-1 Linux Professional Institute Certification Study Guide: Exam 101-500 and Exam 102-500
Bresnahan, Christine
Blum, Richard
Paperback
$57.00
Red Hat Enterprise Linux 10 Essentials: Learn to Install, Administer and Deploy RHEL 10 Systems
Smyth, Neil
Paperback
$43.74
A Handbook for Mainframe z/OS Enterprise Architects - Architecture and Design of Large-Scale Environments
Sahoo, Natabar
Paperback
$29.00
Learn FileMaker Pro 2024: The Comprehensive Guide to Building Custom Databases
Munro, Mark Conway
Paperback
$94.99
Linux: The ultimate guide to Linux for beginners, Linux hacking, Linux command line, Linux operating system, and more!
Newport, Craig
Paperback
$14.24
Debian 13.3 "Trixie" Desktop Handbook: A Practical Guide to Installing, Securing, and Mastering the Debian Linux Desktop - From Install to Advanced Ad
Rodgers, David A., Jr.
Paperback
$17.72
Ubuntu 26.04 LTS: A Comprehensive Guide for Beginners and Advanced Users
Rodgers, David A., Jr.
Paperback
$17.99
Embedded Systems Architecture - Second Edition: Design and write software for embedded devices to build safe and connected systems
Lacamera, Daniele
Paperback
$62.49
Comando de Linux: Una guía completa para principiantes para aprender los reinos del comando Linux desde A-Z
Vance, William
Paperback
$18.99
Grep Pocket Reference: A Quick Pocket Reference for a Utility Every UNIX User Needs
Bambenek, John
Klus, Agnieszka
Paperback
$23.74
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Hardcover
$87.49
Mastering Embedded Linux Development - Fourth Edition: Craft fast and reliable embedded solutions with Linux 6.6 and The Yocto Project 5.0 (Scarthgap)
Simmonds, Chris
Vasquez, Frank
Paperback
$62.49
iMac M4 for Beginners & Seniors: The Step-by-Step User Guide to your New Desktop Without Feeling Overwhelmed
Russell, Luis J.
Paperback
$27.59
iPhone for Seniors - iOS 15 Edition: The illustrated, Step-by-step guide on how to use iPhone (Large Print Edition)
Wilson, Kevin
Paperback
$31.24
Head First Android Development: A Learner's Guide to Building Android Apps with Kotlin
Griffiths, Dawn
Griffiths, David
Paperback
$85.49
Linux para hackers: Una guía completa para principiantes para el mundo del hackeo utilizando Linux
Vance, William
Paperback
$18.99
Understanding the Linux Kernel: From I/O Ports to Process Management
Bovet, Daniel P.
Cesati, Marco
Paperback
$66.49
Developing Inclusive Mobile Apps: Building Accessible Apps for IOS and Android
Whitaker, Rob
Paperback
$56.99
iPad for Seniors - iPadOS 16 Edition: The illustrated, Step-by-step guide on how to use iPad (Large Print Edition)
Wilson, Kevin
Paperback
$31.24