This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre.
They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
| ISBN: | 9783319075112 |
| Publication date: | 26th May 2014 |
| Author: | ABZ Conference |
| Publisher: | Springer an imprint of Springer International Publishing |
| Format: | Paperback |
| Pagination: | 161 pages |
| Series: | Communications in Computer and Information Science |
| Genres: |
Mathematical theory of computation Computer modelling and simulation |
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions.
ABZ 2014 features in the following genres: Mathematical theory of computation, Computer modelling and simulation
Paperback. Not Available.
ABZ 2014 was written by ABZ Conference and published by Springer an imprint of Springer International Publishing
ABZ 2014 has 161 pages
Yes it is part of Communications in Computer and Information Science series