Xavier Morselli

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
La source d’erreur la plus couteuse et la plus délicate à détecter dans un développement formel est l’erreur de spécification. Ainsi la première phase d’un développement formel consiste généralement à représenter l’ensemble des comportements possibles sous la forme d’un automate. Partant de cette constatation, de nombreuses recherches portent sur la(More)
  • 1