We aim to derive a scalable formal design theory and algorithms to enable the engineering of large-scale distributed cyber-physical systems (CPSs) that can function reliably in uncertain and dynamic environments.
2026 Ciencia1.com - Ciencia y Tecnología. Permitida la reproducción siempre que se señale la fuente y enlace correspondiente a cada material info@ciencia1.com