DMCA

Multi-Objective Optimization of Formal Specifications

Cached

Download Links

by Simon Struck , Michael Lipaczewski , Frank Ortmeier
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
Citations:1 - 0 self