Benoit Breholée

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Yamine Aït Ameur, Benoit Breholée, Patrick Girard, Laurent Guittet, Francis Jambon
Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation. Human Error, Safety and Systems Development (2004)