Logos for Groups
![]() The MeFoSyLoMa Group (2005) |
---|
Logos for projects
![]() the CPN-AMI Verification environment (2000) |
![]() the FrameKit Integration Platform (2000) |
---|---|
![]() the MetaScribe Code Generator Generator (2000) |
![]() the PolyOrb middleware (2003) |
![]() the CosyVerif Verification Environment (2013) |
Logos for Conferences
![]() Rapid System Prototyping (since 2000, then updated each year) |
---|