FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems - Image 1

£142.97

Springer FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Name: FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
Brand: Springer
Price: 146.37 GBP
Availability: InStock

Computer Science

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 46 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £146 (27 days, 58.7%)

Price range: £110 - £146

Price levels: 3 different prices over 46 days

Description

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups – especially for safety relevant systems – the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3642142605
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 23 February 2011
Listed Since: 25 June 2010

Barcode

No barcode data available

Springer FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Formal Methods for Industrial Critical Systems: A Survey of Applications

Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Wiley Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))

Industrial Use of Formal Methods: Formal Verification

Formal Methods in Manufacturing (Industrial Information Technology)

Springer - Formal Methods and Models for System Design Book

Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)

Form-Oriented Analysis: A New Methodology to Model Form-Based Applications

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)

Formal Methods: State of the Art and New Directions

Formal System Verification: State-of the-Art and Future Trends

Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))

Automotive Systems and Software Engineering: State of the Art and Future Trends

Automotive Systems and Software Engineering: State of the Art and Future Trends

Modern Formal Methods and Applications

Formal System Verification: State-of the-Art and Future Trends

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Springer - Functional Safety for Road Vehicles Book

Design and Safety Assessment of Critical Systems

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications