View graph of relations

The goal of this project is to integrate the RAISE formal method with the LYCOS software/hardware co-synthesis system obtaining a product which supports formal co-specification and verification as well as co-synthesis of software/hardware systems.
StatusCurrent
Period01/09/9731/01/98
Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word

ID: 2245846