A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin. A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application. In 30th IEEE International Symposium on Industrial Electronics, ISIE 2021, Kyoto, Japan, June 20-23, 2021. pages 1-6, IEEE, 2021. [doi]

This author has not been identified. Look up 'Tuojian Lyu' in GoogleThis author has not been identified. Look up 'Jan Olaf Blech' in GoogleThis author has not been identified. Look up 'Valeriy Vyatkin' in Google

runs on WebDSL