Safe reconfiguration of Coqcots and Pycots components
BuissonJérémy, DagnatFabien, LerouxElena, MartinezSébastien · Journal of Systems and Software · 2016
Dynamic reconfiguration without suspending components.Integration of dynamic software updating and dynamic architecture reconfiguration.Coq proof mode as an interactive development environment for ...