Difference between revisions of "Radu Iosif"

From Numerical Transition Systems
Jump to: navigation, search
Line 20: Line 20:
 
* [http://www-verimag.imag.fr/~async/pv.php Program Verification]
 
* [http://www-verimag.imag.fr/~async/pv.php Program Verification]
 
* [[Recent publications]] ([http://www.informatik.uni-trier.de/~ley/pers/hd/i/Iosif:Radu.html DBLP])
 
* [[Recent publications]] ([http://www.informatik.uni-trier.de/~ley/pers/hd/i/Iosif:Radu.html DBLP])
* [[Contributed software]]
+
* [Contributed software|Software]
  
 
=== Projects ===
 
=== Projects ===

Revision as of 16:51, 28 April 2013

CNRS Researcher (CR1)

Distributed and Complex Systems Group

VERIMAG Laboratory

Centre Equation
2 Avenue de Vignate
38610 GIERES, France

Tel: +33 (0)4 56 52 04 33
Fax: +33 (0)4 56 52 03 44

Radu [dot] Iosif [at] imag [dot] fr

Research

Projects

Teaching

Events