( en | de | ru )

 

Disambiguation of "Parreaux, Benoît"

Author of the publication

copydeleteadd this publication to your clipboard
Model Inference Approach for Detecting Feature Interactions in Integrated Systems.

, , and . ICFI, page 161-171. IOS Press, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Benoît Cordonnier

Non-Newtonian effects in silicate liquids and crystal bearing melts: implication for magma dynamics. Uni München, (2009)

Benoît Mindzeng

Benoît Vaugon

Benoît Delahaye

Benoît Bertholon

 

Other publications of authors with the same name

Model Inference Approach for Detecting Feature Interactions in Integrated Systems., , and . ICFI, page 161-171. IOS Press, (2007)LaTe, a Non-fully Deterministic Testing Language., , and . TestCom, volume 3964 of Lecture Notes in Computer Science, page 71-86. Springer, (2006)Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic., , , , and . B, volume 1393 of Lecture Notes in Computer Science, page 273-292. Springer, (1998)Formal Composition of Distributed Scenarios., , , and . FORTE, volume 3235 of Lecture Notes in Computer Science, page 213-228. Springer, (2004)RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol., , and . SDL Forum, volume 2708 of Lecture Notes in Computer Science, page 218-233. Springer, (2003)Refining Timed MSCs., , and . SDL Forum, volume 2708 of Lecture Notes in Computer Science, page 234-250. Springer, (2003)Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry., , and . SDL Forum, volume 4745 of Lecture Notes in Computer Science, page 242-257. Springer, (2007)