Runtime Composition of Systems of Interacting Cyber-Physical Components

Benjamin Lion, Farhad Arbab, Carolyn L. Talcott. Runtime Composition of Systems of Interacting Cyber-Physical Components. In Alexandre Madeira, Manuel A. Martins 0001, editors, Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers. Volume 13710 of Lecture Notes in Computer Science, pages 141-162, Springer, 2022. [doi]

Authors

Benjamin Lion

This author has not been identified. Look up 'Benjamin Lion' in Google

Farhad Arbab

This author has not been identified. Look up 'Farhad Arbab' in Google

Carolyn L. Talcott

This author has not been identified. Look up 'Carolyn L. Talcott' in Google