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...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Institut National des Télécommunications
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00939071 http://tel.archives-ouvertes.fr/docs/00/93/90/71/PDF/these_diagne-fama-2.pdf |