How to diagnose a modern car with a formal B model?

• Authors:

• Guilhem Pouzancre

• Affiliations:

• ClearSy, Aix-en-Provence Cedex 3, France

• Venue:
• ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
• Year:
• 2003