Research Institute

Intranet
Library
Map
Staff
Contact

FR
EN

Xlim

Institut de recherche

Search form

Home
The Laboratory
Presentation

Administration - Finance
Organization Chart

Library

Communication

Seminars
Services

Mechanics workshop

Network and Systems Admin

Quality
Research
Electronics

RF Systems

RF-ELITE

Smart Systems and Network
Photonics

Fibre Photonics and Coherent Sources
Mathematics, Computer Science, Image

Image Synthesis and Analysis

Mathematics, Information Security
Virtual Laboratory

EPI@XLIM

Strategic Focus

Industrial Chair

PILIM

Labex ∑-lim

ANR and European Projects
Scientific Production
Publications
Theses
Patents
Software
International & Partnerships
Industrial Partnership

Common Laboratories

Start-Up
Development - Swarming

Supply of skills
International Relations
Plateforms
PLATINOM

Composants & Circuits

Optical Fibers

Instrumentation

Staff
PREMISS

Software forge

Modeling and integration
Trainings & Recruitments
Trainings

Masters

Graduate School

External Services
Join us

Internship Offers

Thesis Offers

Preparing a CNRS competition

Post-Doctoral & Recruitments

CNRS researchers competitions

You are here

Home / MathInfo / Theses / Validation des spécifications formelles de la mise à jour dynamique des applications Java Card

Validation des spécifications formelles de la mise à jour dynamique des applications Java Card

LOUNAS Razika

Informations

Author: LOUNAS Razika
Thesis supervisor: Jean-Louis LANET, Mohamed MEZGHICHE
Thesis in progress

Staff

UMR CNRS n°7252

123, avenue Albert Thomas - 87060 LIMOGES CEDEX.
Tél. +33(0) 587 50 67 00 - Fax +33(0) 555 45 76 97

Legal Notice