Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Springer International Publishing, Springer-Verlag GmbH
SKU: 60157815
Price: 52.80 EUR
Availability: InStock
ISBN: 3319107011

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Sprache: Englisch)

Keine Kommentare vorhanden

Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Formal Methods for Industrial Critical Systems".

Kommentar verfassen

Merken

Mehr zum Inhalt Video Inhaltsverzeichnis

lieferbar

versandkostenfrei

Bestellnummer: 60157815

Buch 52.80 €

In den Warenkorb

Kauf auf Rechnung
Kostenlose Rücksendung
Ratenzahlung möglich

lieferbar

versandkostenfrei

Bestellnummer: 60157815

Buch 52.80 €

In den Warenkorb

Mehr zum Inhalt Video Inhaltsverzeichnis

Andere Kunden interessierten sich auch für

Bd. 8718

Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.8718

0 Sterne

eBook

51.70 €

Download bestellen

Erschienen am 01.09.2014

sofort als Download lieferbar

Formal Methods for Industrial Critical Systems

0 Sterne

Buch

52.80 €

In den Warenkorb

Erschienen am 27.05.2015

lieferbar

Supercomputing

0 Sterne

Buch

82.49 €

In den Warenkorb

Erschienen am 01.01.2019

lieferbar

Functional and Logic Programming

0 Sterne

Buch

71.49 €

Vorbestellen

Erschienen am 24.04.2018

Voraussichtlich lieferbar in 3 Tag(en)

Service-Oriented Computing - ICSOC 2017 Workshops

0 Sterne

Buch

71.49 €

In den Warenkorb

lieferbar

Software Technologies: Applications and Foundations

0 Sterne

Buch

72.60 €

Vorbestellen

Erschienen am 23.01.2018

Voraussichtlich lieferbar in 3 Tag(en)

On the Move to Meaningful Internet Systems. OTM 2017 Workshops

0 Sterne

Buch

63.80 €

Vorbestellen

Erschienen am 29.01.2018

Voraussichtlich lieferbar in 3 Tag(en)

Trends in Functional Programming

0 Sterne

Buch

46.20 €

Vorbestellen

Erschienen am 19.04.2018

Voraussichtlich lieferbar in 3 Tag(en)

Formal Methods for Hardware Verification

0 Sterne

Buch

76.99 €

In den Warenkorb

Erschienen am 15.05.2006

lieferbar

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

0 Sterne

Buch

71.49 €

In den Warenkorb

Erschienen am 18.04.2006

lieferbar

Leveraging Applications of Formal Methods, Verification, and Validation

0 Sterne

Buch

126.49 €

In den Warenkorb

lieferbar

Open Source Software: New Horizons

0 Sterne

Buch

115.50 €

In den Warenkorb

Erschienen am 10.05.2010

lieferbar

Formal Methods for Industrial Critical Systems

0 Sterne

Buch

76.99 €

In den Warenkorb

Erschienen am 20.07.2009

lieferbar

Formal Methods for Computational Systems Biology

0 Sterne

Buch

76.99 €

In den Warenkorb

Erschienen am 20.05.2008

lieferbar

FM'99 - Formal Methods

0 Sterne

Buch

153.99 €

In den Warenkorb

Erschienen am 13.09.1999

lieferbar

FM '99, Formal Methods

0 Sterne

Buch

131.99 €

In den Warenkorb

Erschienen am 13.09.1999

lieferbar

Formal Methods for Industrial Critical Systems

0 Sterne

Buch

65.99 €

In den Warenkorb

Erschienen am 09.09.2010

lieferbar

S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management

0 Sterne

Buch

82.49 €

In den Warenkorb

Erschienen am 06.10.2010

lieferbar

Leveraging Applications of Formal Methods, Verification, and Validation

0 Sterne

Buch

98.99 €

In den Warenkorb

lieferbar

Produktdetails

Produktbeschreibung
Inhaltsverzeichnis
Video
Biblio. Angaben / Produktdetails

Produktinformationen zu „Formal Methods for Industrial Critical Systems “

Klappentext zu „Formal Methods for Industrial Critical Systems “

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

Inhaltsverzeichnis zu „Formal Methods for Industrial Critical Systems “

Formal Verification of Steady-State Errors in Unity-Feedback Control Systems.- Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface.- Analysis of Real-Time Properties of a Digital Hydraulic Power Management System.- Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip.- Formal Specification and Verification of TCP Extended with the Window Scale Option.- Learning Fragments of the TCP Network Protocol.- On the Validation of an Interlocking System by Model-Checking.- Deadlock Avoidance in Train Scheduling: A Model Checking Approach.- An Open Alternative for SMT-Based Verification of Scade Models.- Improving Static Analyses of C Programs with Conditional Predicates.- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements.- Test Specification Patterns for Automatic Generation of Test Sequences.- Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation.

Bibliographische Angaben

xiv, 201 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
Verlag: Springer International Publishing
ISBN-10: 3319107011
ISBN-13: 9783319107011
Erscheinungsdatum: 20.08.2014

Sprache:

Englisch

Kommentar zu "Formal Methods for Industrial Critical Systems"

Keine Kommentare vorhanden

Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Formal Methods for Industrial Critical Systems".

Kommentar verfassen

Andere Kunden kauften auch

Formal Methods for Industrial Critical Systems

0 Sterne

Buch

52.80 €

In den Warenkorb

Erschienen am 27.05.2015

lieferbar

Supercomputing

0 Sterne

Buch

82.49 €

In den Warenkorb

Erschienen am 01.01.2019

lieferbar

Functional and Logic Programming

0 Sterne

Buch

71.49 €

Vorbestellen

Erschienen am 24.04.2018

Voraussichtlich lieferbar in 3 Tag(en)

Service-Oriented Computing - ICSOC 2017 Workshops

0 Sterne

Buch

71.49 €

In den Warenkorb

lieferbar

Software Technologies: Applications and Foundations

0 Sterne

Buch

72.60 €

Vorbestellen

Erschienen am 23.01.2018

Voraussichtlich lieferbar in 3 Tag(en)

On the Move to Meaningful Internet Systems. OTM 2017 Workshops

0 Sterne

Buch

63.80 €

Vorbestellen

Erschienen am 29.01.2018

Voraussichtlich lieferbar in 3 Tag(en)

Trends in Functional Programming

0 Sterne

Buch

46.20 €

Vorbestellen

Erschienen am 19.04.2018

Voraussichtlich lieferbar in 3 Tag(en)

Formal Methods for Hardware Verification

0 Sterne

Buch

76.99 €

In den Warenkorb

Erschienen am 15.05.2006

lieferbar

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

0 Sterne

Buch

71.49 €

In den Warenkorb

Erschienen am 18.04.2006

lieferbar

Leveraging Applications of Formal Methods, Verification, and Validation

0 Sterne

Buch

126.49 €

In den Warenkorb

lieferbar

Open Source Software: New Horizons

0 Sterne

Buch

115.50 €

In den Warenkorb

Erschienen am 10.05.2010

lieferbar

Formal Methods for Industrial Critical Systems

0 Sterne

Buch

76.99 €

In den Warenkorb

Erschienen am 20.07.2009

lieferbar

Formal Methods for Computational Systems Biology

0 Sterne

Buch

76.99 €

In den Warenkorb

Erschienen am 20.05.2008

lieferbar

FM'99 - Formal Methods

0 Sterne

Buch

153.99 €

In den Warenkorb

Erschienen am 13.09.1999

lieferbar

FM '99, Formal Methods

0 Sterne

Buch

131.99 €

In den Warenkorb

Erschienen am 13.09.1999

lieferbar

Formal Methods for Industrial Critical Systems

0 Sterne

Buch

65.99 €

In den Warenkorb

Erschienen am 09.09.2010

lieferbar

S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management

0 Sterne

Buch

82.49 €

In den Warenkorb

Erschienen am 06.10.2010

lieferbar

Leveraging Applications of Formal Methods, Verification, and Validation

0 Sterne

Buch

98.99 €

In den Warenkorb

lieferbar

Weitere Empfehlungen zu „Formal Methods for Industrial Critical Systems “