DISCOR DISCOR

DISCOR DISCOR

 : 

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í-Cullell Jaume Agustí-Cullell

Team members:

      Collaborating organisations:

      Funding entity:

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

      Funding call:

      Project #:

      DISCOR DISCOR

      Funding amount:

      0,00€ 0,00€

      Duration:

      1994-05-19 1994-05-19

       -

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