Verimag
Home page > Teams > DCS > Research Topics > Rigorous Design of Component-Based Systems — The BIP (...) > BIP Tools

BIP Tools

Core Tools

The core BIP toolset is described in detail in the following pages:

Additional Tools

The following tools are also available:

NEW VERSIONS of the compiler and engines are AVAILABLE!

Examples

BIP examples can be found here.

contact: Jacques Combaz, Marc Poulhiès


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 8 ; visits: 448913