Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation.

Yamine Aït Ameur Benoit Breholée Patrick Girard Laurent Guittet Francis Jambon

Published in: Human Error, Safety and Systems Development (2004)

Keyphrases