|
[SLOG12]
Simon Struck, Michael Lipaczewski, Frank Ortmeier and Matthias Güdemann.
Multi-objective Optimization of Formal Specifications.
In Proc. 14th International IEEE Symposium on High-Assurance Systems Engineering (HASE'12), pages 201-208.
2012.
[Develops model-based optimisation methods which connect to PRISM for model analysis.]
|
|
Links:
[Google]
[Google Scholar]
|