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
529 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
Effective Surveillance for Homeland Security
Francesco Flammini, Roberto Setola, Giorgio Franceschetti
Häftad
749 kr
Computer Science Engineering
Gururaj H L, Francesco Flammini, S Srividhya, Chayadevi M L, Sheba Selvam
Inbunden
2 588 kr
Data Science & Exploration in Artificial Intelligence
Gururaj H L, Francesco Flammini, Shreyas J
Inbunden
1 841 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
Häftad
550 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
Inbunden
1 589 kr
Data Science & Exploration in Artificial Intelligence
Gururaj H L, Francesco Flammini, Shreyas J
Inbunden
2 453 kr
Effective Surveillance for Homeland Security
Francesco Flammini, Roberto Setola, Giorgio Franceschetti
Inbunden
2 176 kr