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

Computer Science

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

£143 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 1 days • 1 data points (No recent data available)

Historical

Generating forecast...

Not enough data points to display chart (need at least 2 points)

Price Distribution

Price distribution over 1 days • 1 price levels

Days at Price

Price Analysis

Most common price: £143 (1 days, 100.0%)

Price range: £143 - £143

Price levels: 1 different prices over 1 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)

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 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)

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

Formal Methods in Manufacturing Systems: Recent Advances (Advances in Civil and Industrial Engineering)

Digital Business Models for Industry 4.0: How Innovation and Technology Shape the Future of Companies (Future of Business and Finance)

CRC Press Human Factors in Automotive Engineering and Technology

Human Factors in Automotive Engineering and Technology (Human Factors in Road and Rail Transport)

Modellbasierte prädiktive Regelung: Eine Einfuhrung Fur Ingenieure

Grundthemen der Literaturwissenschaft: Form

Sustainable Manufacturing in Industry 4.0: Pathways and Practices

Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)

Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)