Project List

Application Field : Design Technology Area : Others

 

Project No. Acronym Titel Cordis Homepage

5383

LACOS Large-scale Correct Systems Using Formal Methods X  

6500

AFRODITE Applying Formal Methods to Real-Size Object-Oriented Designs in Technical Environments X