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

£110.00

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: 110.0 GBP
Availability: InStock

Computer Science

It has never been this cheap. We have no record of a lower price.

£110 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 76 days · 76 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 76 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £110 (58 days, 76.3%)

Price range: £110 - £143

Price levels: 2 different prices over 76 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

It has never been this cheap. We have no record of a lower price.

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

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings: 12475 (Lecture Notes in Computer Science, 12475)

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)

Formal Methods for Industrial Critical Systems: A Survey of Applications

Modern Formal Methods and Applications

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

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings: 4085 (Lecture Notes in Computer Science, 4085)

Modern Formal Methods and Applications

The Foreman on the Assembly Line: 11 (Routledge Library Editions: The Automobile Industry)

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

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

Industrial Use of Formal Methods: Formal Verification

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

Science on Form: Proceedings of the First International Symposium for Science on Form, University of Tsukuba, Japan, November 26–30, 1985

Theory and Application of Multi-Formalism Modeling (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Industry 4.0: Trends in Management of Intelligent Manufacturing Systems (EAI/Springer Innovations in Communication and Computing)

Formal Methods in Manufacturing (Industrial Information Technology)

Formalism and Beyond: On the Nature of Mathematical Discourse: 23 (Logos, 23)

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

Urban Formalism: The Work of City Reading (Polis: Fordham Series in Urban Studies)

Wiley Formal Methods Applied to Industrial Complex Systems

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