Preuve de propriétés dynamiques en B
Les propriétés que l’on souhaite exprimer sur les applications système d’information ne peuvent se restreindre aux propriétés statiques, dites propriétés d’invariance, qui portent sur des états du système pris au même moment. En effet, certaines propriétés, dites propriétés dynamiques, peuvent faire...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr |
Published: |
2013
|
Subjects: | |
Online Access: | http://www.theses.fr/2013TELE0018/document |