Buch, Englisch, Band 10510, 438 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 6905 g
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Buch, Englisch, Band 10510, 438 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 6905 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-66844-4
Verlag: Springer International Publishing
The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
Zielgruppe
Research