Jean-Philippe Pitzalis

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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