External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Multi-objective Optimization of Formal Specifications

Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann. Multi-objective Optimization of Formal Specifications. In 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012. pages 201-208, IEEE Computer Society, 2012. [doi]

Authors

Simon Struck

This author has not been identified. Look up 'Simon Struck' in Google

Michael Lipaczewski

This author has not been identified. Look up 'Michael Lipaczewski' in Google

Frank Ortmeier

This author has not been identified. It may be one of the following persons: Look up 'Frank Ortmeier' in Google

Matthias Güdemann

This author has not been identified. Look up 'Matthias Güdemann' in Google
runs on