Formal Methods for Industrial Critical Systems

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

AvFrancesco Flammini,Frederic Lang

E-bok
PDF, Engelska, 2014

652 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

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

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

561 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