Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel

Jean-Pierre Jacquot. Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel. Technique et Science Informatiques, 34(5):549-573, 2015. [doi]

Abstract

Abstract is missing.