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

£70.00

Südwestdeutscher Verlag für Hochschulschriften Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

Computing & Internet

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

View at Amazon

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 40 days • 1 price levels

Days at Price

Price Analysis

Most common price: £70 (40 days, 100.0%)

Price range: £70 - £70

Price levels: 1 different prices over 40 days

Product Specifications

Brand: Südwestdeutscher Verlag für Hochschulschriften
Format: paperback
ASIN: 3838112075
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 14 April 2010
Listed Since: 02 December 2009

Barcode

No barcode data available

Südwestdeutscher Verlag für Hochschulschriften Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

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

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

Time-Constrained Web Services for Industrial Automation

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

Electronic Subscriptions: Key Management for Time-bound Access

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

Voice Modeling Methods: for Automatic Speaker Recognition

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

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

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

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

Using Search Term Positions for Determining Document Relevance

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

Satisfiability: From Core Algorithms to Novel Application Domains

Improving Schema Mapping by Exploiting Domain Knowledge

Mobile Ad Hoc Networks from Theory to Practice: Fundamental Properties and Services

Metastability in Stochastic Dynamics: Contributions to the Potential Theoretic Approach

Modeling of Thermal Oxidation and Stress Effects: with the Finite Element Method

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

On Social Semantics In Information Retrieval: From Knowledge Discovery to Collective Web Intelligence in the Social Semantic Web

Interactive High Performance Volume Rendering

Content Extraction: Identifying the Main Content in HTML Documents

Event Processing and Stream Reasoning with ETALIS: From Concept to Implementation

Pattern Recognition for Feature-based and Comparative Visualization: Moment Invariants for Pattern Recognition in Flows