Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué. Generating tests from B specifications and dynamic selection criteria. Formal Asp. Comput., 23(1):3-19, 2011. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Generating Tests from B Specifications and Test PurposesJacques Julliand, Pierre-Alain Masson, Régis Tissot. asmta 2008: 139-152 [doi] Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal LogicJacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët. b 1998: 273-292 [doi]
The following publications are possibly variants of this publication: