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.

A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS

M. Saqib Nawaz, Meng Sun 0002. A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS. In Proceedings of the 2018 2nd International Conference on Big Data and Internet of Things, BDIOT 2018, Beijing, China, October 24-26, 2018. pages 186-190, ACM, 2018. [doi]

Authors

M. Saqib Nawaz

This author has not been identified. Look up 'M. Saqib Nawaz' in Google

Meng Sun 0002

This author has not been identified. Look up 'Meng Sun 0002' in Google
runs on