Jean-Philippe Pitzalis

Learn More
RÉSUMÉ. Cet article présente la méthode employée pour formaliser, en B événementiel, les lois de fonctionnement d'un véhicule entier (parties électroniques, mécaniques, subjectives), afin d'améliorer son diagnostic. ABSTRACT. In this paper, we introduce a method to formalize electronics, mechanics and subjective car behaviour. We use the formal models to(More)
  • 1