Multi-Objective Optimization of Formal Specifications (0)

by S STRUCK, M LIPACZEWSKI, F ORTMEIER, M GÜDEMANN
Venue:in "Proceedings of the 14th High Assurance System Engineering Symposium (HASE 2012)", Omaha, United States, IEEE, October 2012, p. 201-208 [DOI : 10.1109/HASE.2012.21], http://hal.inria.fr/ hal-00735640. Scientific Popularization