[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [moca] PhD thesis: Analysis of mobile systems by abstract interpretation

To: moca@xxxxxxxxxxxxxxx, Jerome Feret <Jerome.Feret@xxxxxx>
Subject: Re: [moca] PhD thesis: Analysis of mobile systems by abstract interpretation
From: Arie Karniel <ariek@xxxxxxxxxxxxx>
Date: Tue, 24 May 2005 11:20:47 +0200
In-reply-to: <Pine.LNX.4.61.0505240932430.17833@mezcal.ens.fr>
List-help: <mailto:sympa@lists-sop.inria.fr?subject=help>
List-id: <moca.lists-sop.inria.fr>
List-owner: <mailto:moca-request@lists-sop.inria.fr>
List-post: <mailto:moca@lists-sop.inria.fr>
List-subscribe: <mailto:sympa@lists-sop.inria.fr?subject=subscribe%20moca>
List-unsubscribe: <mailto:sympa@lists-sop.inria.fr?subject=unsubscribe%20moca>
References: <Pine.LNX.4.61.0505240932430.17833@mezcal.ens.fr>
Reply-to: moca@xxxxxxxxxxxxxxx, Arie Karniel <ariek@xxxxxxxxxxxxx>

HI Jerome,
I'm a PhD student in Tel Aviv University.
My research topic is dynamic product development, thus I need a dynamic
mobile system to manipulate the process.
Do you have any "blackbox" application which can be used  to demostrate
the system dynamics?

Best regards,
Arie

Arie Karniel
Faculty of Engineering, Tel Aviv University
Ramat Aviv 69978, Israel
email: ariek@xxxxxxxxxxxxx
Cell:+972-54-4926191  Tel: +972-3-640-5582  Fax: +972-3-640-7617

  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html

References:
- [moca] PhD thesis: Analysis of mobile systems by abstract interpretation
  - From: Jerome Feret

Prev by Date: [moca] PhD thesis: Analysis of mobile systems by abstract interpretation
Previous by thread: [moca] PhD thesis: Analysis of mobile systems by abstract interpretation
Index(es):
- Date
- Thread