Taxonomies for the development and verification of digital

Descrição: Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex ... Veja mais