unset title
>
Contact_plural
>
Cruz Teixeira
login
login
password
log in
cancel
search
Cruz Teixeira
lastname
Cruz Teixeira
firstname
Renata
organisation
Laboratoire d’Informatique de Paris 6 (LIP6), UPMC
website
http://www-npa.lip6.fr/~teixeira/
old_uid
5723
speakers_object
L’approche synchrone à la programmation et à la vérification des systèmes embarqués matériels et logiciels