-
Modeling and formal control of reconfiguration -- Application to dynamically ...
This thesis deals with the study of reconfiguration control modeling in dynamic systems, especially dynamically and partially reconfigurable Systems-on-Chip. The work... -
Formal specification and verification of distributed component systems
A component is a self contained entity that interacts with its environment through well-defined interfaces. The component library Fractive provides high level... -
Process control engineering: contribution to a formal structuring framework w...
Colloque avec actes et comité de lecture. -
Formal engineering methods for modelling and verification of control systems
Colloque avec actes et comité de lecture. -
Formal modelling of services for getting a better understanding of the featur...
Colloque avec actes et comité de lecture. -
Playing with abstraction and refinement for managing features interactions. A...
Colloque avec actes et comité de lecture. internationale. -
Fair Objects
Contribution à un ouvrage. -
Foundations of the B method
Article dans revue scientifique avec comité de lecture.
