Programmes par loupe.sf.net

Bogor-PubSub est un ensemble d’extensions du pions de modèle Bogor permettant une vérification précise et automatique des infrastructures Publish-Subscribe.