Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. 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..
| ISBN: | 9783319668444 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 438 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Polikarpova, Nadia Schneider, Steve |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 27.08.2017 |
| Untertitel: | 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings |
| Schlagworte: | artificial intelligence computer software selection and evaluation data security formal logic formal methods formal verifications java model checking network security problem solving |
Anmelden