Security Engineering for Lifelong Evolvable Systems

Publications

Export 3 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Tissot, Régis  [Clear All Filters]
2011
Julliand, J., P. - A. Masson, R. Tissot, and P. - C. Bué, "Generating Tests from B Specifications and Dynamic Selection Criteria", FAC, Formal Aspects of Computing, vol. 23, no. 1, pp. 3–19, 2011.

Revised and extended version of a paper from the ABZ'08 conference

2010