Formal Methods for Industrial Critical Systems

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

AvFrédéric Lang,Francesco Flammini

Häftad, Engelska, 2014

Del 8718 i serien Lecture Notes in Computer Science

539 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Stefano Marrone, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Roberto Nardone, Francesco Flammini, Valeria Vittorini - Dependable Computing – EDCC 2022 Workshops, Häftad
Del 1656

Dependable Computing – EDCC 2022 Workshops

Stefano Marrone, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Roberto Nardone, Francesco Flammini, Valeria Vittorini

Häftad, 2022

562 kr

Paolo Masci, Amleto Di Salle, Rasmus Lovenstein Olsen, Nicola Nostro, Philipp Schlei, Daniel Schneider, Rasmus Adler, Stefano Marrone, Roberto Nardone, Francesco Flammini, Valeria Vittorini, Simona Bernardi - Dependable Computing - EDCC 2020 Workshops, E-bok

Dependable Computing - EDCC 2020 Workshops

Paolo Masci, Amleto Di Salle, Rasmus Lovenstein Olsen, Nicola Nostro, Philipp Schlei, Daniel Schneider, Rasmus Adler, Stefano Marrone, Roberto Nardone, Francesco Flammini, Valeria Vittorini, Simona Bernardi

E-bok
2020

692 kr