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]
@article{Jacquot15, title = {Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel}, author = {Jean-Pierre Jacquot}, year = {2015}, doi = {10.3166/tsi.34.549-573}, url = {http://dx.doi.org/10.3166/tsi.34.549-573}, researchr = {https://researchr.org/publication/Jacquot15}, cites = {0}, citedby = {0}, journal = {Technique et Science Informatiques}, volume = {34}, number = {5}, pages = {549-573}, }