Skip to main content

1 Result(s)

within Article Remove this filter Cyril Carrez Remove this filter

and

  1. No Access

    Article

    Assembling components with behavioural contracts

    Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investigate methods and concepts for ...

    Cyril Carrez, Alessandro Fantechi, Elie Najm in Annales Des Télécommunications (2005)