: The B Extensible Eclipse Editing Environment.

Jens Bendisposto Michael Leuschel

Published in: B (2007)

Keyphrases

real time
open source
data model
mobile robot
source code
dynamic environments
machine learning
markup language
environmental conditions
programming environment