Del 8718 - Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Häftad, Engelska, 2014
679 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2014-08-20
- Mått155 x 235 x 12 mm
- Vikt335 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor201
- Upplaga2014
- FörlagSpringer International Publishing AG
- ISBN9783319107011
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Effective Surveillance for Homeland Security
Francesco Flammini, Roberto Setola, Giorgio Franceschetti
Häftad
969 kr
Computer Science Engineering
Gururaj H L, Francesco Flammini, S Srividhya, Chayadevi M L, Sheba Selvam, Gururaj H. L., S. Srividhya
Inbunden
3 279 kr
Data Science & Exploration in Artificial Intelligence
Gururaj H L, Francesco Flammini, Shreyas J, Gururaj H. L.
Inbunden
2 339 kr
Dependable Computing – EDCC 2022 Workshops
Stefano Marrone, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Roberto Nardone, Francesco Flammini, Valeria Vittorini, Martina de Sanctis
Häftad
709 kr
Assessing COVID-19 and Other Pandemics and Epidemics using Computational Modelling and Data Analysis
Subhendu Kumar Pani, Sujata Dash, Wellington P. dos Santos, Syed Ahmad Chan Bukhari, Francesco Flammini, Wellington P. Dos Santos
Inbunden
2 089 kr
Data Science & Exploration in Artificial Intelligence
Gururaj H L, Francesco Flammini, Shreyas J, Gururaj H. L.
Inbunden
3 109 kr
Recent Trends in Computational Sciences
Gururaj H L, Pooja M R, Francesco Flammini, India) H L, Gururaj (Manipal Institute of Technology, India) M R, Pooja (Vidyavardhaka College of Engineering, Switzerland) Flammini, Francesco (University of Applied Science and Arts of Southern Switzerland (CH), Gururaj H. L., Pooja M. R.
Inbunden
2 049 kr
Effective Surveillance for Homeland Security
Francesco Flammini, Roberto Setola, Giorgio Franceschetti
Inbunden
2 759 kr