TimeSquare

nom: 
TimeSquare
icone logiciel: 
description: 
TimeSquare is an MDK (Model Development Kit) provided as a set of Eclipse plugins that can be downloaded or installed over an existing Eclipse. TimeSquare is based on the formal Clock Constraint Specification Language (CCSL), which allows the manipulation of logical time.
institution: 
University of Nice-Sophia Antipolis, I3S, CNRS, Inria
equipe: 
COMRED - AOSTE
type: 
recherche
Undefined