Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Methods for Industrial Critical Systems de Frédéric Lang

Formal Methods for Industrial Critical Systems: Lecture Notes in Computer Science, cartea 8718

Editat de Frédéric Lang, Francesco Flammini
en Limba Engleză Paperback – 20 aug 2014
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33054 lei

Preț vechi: 41318 lei
-20%

Puncte Express: 496

Carte tipărită la comandă

Livrare economică 24 octombrie-07 noiembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783319107011
ISBN-10: 3319107011
Pagini: 216
Ilustrații: XIV, 201 p. 84 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.34 kg
Ediția:2014
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

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.