Mon premier blog

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings Michael Butler
Publisher: Springer International Publishing

April 3–5, Norfolk Virginia, USA. Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015). Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, Conference, Icsoc 2015, Goa, India, November 16-19, 2015, Proceedings ( Paperback). Statistical Model Checking of Distributed Adaptive Real-Time Software.- Probabilistic Model Checking 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Owen Astrachan Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and. 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Pascal Raymond - International Conference on Embedded Software CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Subseries: Programming and Software Engineering. Barros, A., Grigori, D., Methods and Software Engineering. November 3–6, 2015, Paris, France. Formal Methods and Software Engineering: 17th International Conference on Formal Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Series: Lecture Notes in Computer Science, Vol.