Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler - Image 1

£77.00

Südwestdeutscher Verlag für Hochschulschriften Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

Operating Systems

Price data last checked 52 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 39 days • 39 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 39 days • 1 price levels

Days at Price

Price Analysis

Most common price: £77 (39 days, 100.0%)

Price range: £77 - £77

Price levels: 1 different prices over 39 days

Product Specifications

Brand: Südwestdeutscher Verlag für Hochschulschriften
Format: paperback
ASIN: 3838134605
Category: Books > Subjects > Computing & Internet > Computer Science > Operating Systems
Domain: Amazon UK
Release Date: 14 August 2012
Listed Since: 19 August 2012

Barcode

No barcode data available

Südwestdeutscher Verlag für Hochschulschriften Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

Runtime adaptation of technical systems: An architectural framework for self-configuration and self-improvement at runtime

Fully Realistic Multi-Criteria Timetable Information Systems: Models, Algorithms, and Prototypes

Time-Constrained Web Services for Industrial Automation

Engineering Self-Organizing Dynamics in Distributed Systems:: A Systemic Approach

CSP as a Coordination Language: A CSP-based Approach to the Coordination of Concurrent Systems

Metastability in Stochastic Dynamics: Contributions to the Potential Theoretic Approach

Integrated Management Framework for Dynamic Virtual Organisations: Concepts and their Application in the Data Centre

Formation of Spatio-temporal Patterns in Stochastic Nonlinear Systems: A study of extended systems with reference to abstract biological mechanisms

Hybrid-Kinematic Mechanisms: Designed for Machine Tools

Collection-Oriented Programming: A Collection-Oriented Application Framework for Mobile Information Systems

Interactive High Performance Volume Rendering

A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking

A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic

Transient Faults in Quasi Delay-Insensitive Logic: Effects and Mitigation

Voice Modeling Methods: for Automatic Speaker Recognition

Scheduling in Wireless Networks with Oblivious Power Assignments: Analyzing the physical interference model

Weak System Models for Distributed Agreement Problems: Algorithms and Lower Bounds

Distributed Shared Memory and Data Consistency: for Wireless Sensor Networks - Assessment of the feasibility

Some Asymptotic Properties of Stochastic Flows: Isotropic Brownian Flows and beyond

Interpretation of Behaviour Models at Runtime: Performance Benchmark and Case Studies

Systemtheoretische Modellbildung und Simulation eines Strömungssensors: Systemtheoretische Modellbildung und Simulation eines thermofluiddynamischen Time-of-Flight-Strömungssensors

A Distributed Platform for Integrated Modular Avionics: Insights on Future Avionics Systems and their Certification Requirements

Mining and Checking Object Behavior: Efficient Mining of Object Behavior Models