Vérification d'invariants pour des systèmes spécifiés en logique de réécriture.

Vlad Rusu Manuel Clavel

Published in: Stud. Inform. Univ. (2009)

Keyphrases

ieee trans
moment invariants
affine invariant
allocation strategy
quasi invariant
imperative programs
neural network
information systems
feature extraction
invariant features