TY - GEN
AU - Diagne, Fama
AU - Evry, Institut national des télécommunications
AU - Université de Sherbrooke (Québec, Canada)
AU - Mammar, Amel
AU - Frappier, Marc
TI - Preuve de propriétés dynamiques en B ; Proving dynamic properties in B
KW - Automatisation
KW - Méthode B
KW - Preuve
KW - Dynamic properties
KW - Systèmes d'information
KW - Proof
KW - B method
KW - Propriétés dynamiques
KW - Automation
KW - Data-intensive applications
PY - 2013-09-26
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation