Verimag
Home > Teams > Rsd > Research Topics > Rigorous Design of Component-Based Systems — The BIP (...) > BIP Tools > 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 powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 684717