Adapting Specifications for Reactive Controllers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel. Adapting Specifications for Reactive Controllers. In 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2023, Melbourne, Australia, May 15-16, 2023. pages 1-12, IEEE, 2023. [doi]

This author has not been identified. Look up 'Titus Buckworth' in GoogleThis author has not been identified. Look up 'Dalal Alrajeh' in GoogleThis author has not been identified. Look up 'Jeff Kramer' in GoogleThis author has not been identified. Look up 'Sebastián Uchitel' in Google

runs on WebDSL