Showing 1 - 1 results of 1 for search 'ANIMATION TECHNIQUES', query time: 0.67s Refine Results
  1. 1
    Evaluation Symbolique à Contraintes pour la Validation - Application à Java/JML
    by Dadeau, Frédéric
    Published 2006
    “..., les modèles sont validés par animation, de manière à s'assurer qu'ils décrivent le bon comportement du...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search