Météor: A Successful Application of B in a Large Project.

Patrick Behm Paul Benoit Alain Faivre Jean-Marc Meynadier

Published in: World Congress on Formal Methods (1999)

Keyphrases

mobile robot
project management
databases
neural network
image processing
website
case study
development lifecycle