6 Pages
English
Gain access to the library to view online
Learn more

Formal semantics for refinement verification of entreprise models

Gain access to the library to view online
Learn more
6 Pages
English

Informations

Published by
Reads 200
Language English

Exrait

Formal Semantics for RefinementVerification of Entreprise Models
O ThÈSE N4210 (2008)
PRÉSENTÉE LE 31 OCTOBRE 2008 À LA FACULTE INFORMATIQUE ET COMMUNICATIONS Laboratoire de modélisation sYstémique SECTION DES SySTÈMES DE COMMUNICATION
ÉCOLE POLyTEChNIQUE FÉDÉRALE DE LAUSANNE
POUR L'OBTENTION DU GRADE DE DOCTEUR ÈS SCIENCES
PAR
Irina RyChKOVA
Master of Applied MatHematics and PHYsics, Moscow Institute of PHYsics and TecHnologY, Russie et de nationalité russe
acceptée sur proposition du jurY:
Dr M. Rajman, président du jurY Prof. A. Wegmann , directeur de tHèse Dr T. Baar, rapporteur F. BoucHet, rapporteur Prof. V. Kuncak, rapporteur
Lausanne, EPFL 2008