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

Vlad Rusu Manuel Clavel

Published in: JFLA (2009)

Keyphrases

ieee trans
moment invariants
imperative programs
neural network
database
real time
manufacturing process
allocation strategy
projective invariants