Formal semantics for refinement verification of entreprise models

Sujets

• curriculum vitae
• Employabilité, métiers et formations

Informations

• Publié par: englue
• Nombre de lectures: 200
• Langue: English

Extrait

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