Atnaujinkite slapukų nuostatas

El. knyga: Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Edited by , Edited by
Kitos knygos pagal šią temą:
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, ProceedingsDidesnis paveikslėlis
Kitos knygos pagal šią temą:

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

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.
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.
Daugiau apie elektronines knygas Daugiau apie elektronines knygas
Pastovi nuoroda: https://www.kriso.lt/db/97833191070282e.html
Raktažodžiai: