DISCORDISCOR

DISCORDISCOR

 : 

Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)

A Project coordinated by IIIA.

Principal investigator:

Jaume Agustí-CullellJaume Agustí-Cullell

Team members:

      Collaborating organisations:

      Funding entity:

      TIC94-0847-C02-01TIC94-0847-C02-01

      Funding call:

      Project #:

      DISCORDISCOR

      Funding amount:

      0,00€0,00€

      Duration:

      1994-05-191994-05-19

       -

      1997-05-181997-05-18
      No publications yet