The LRDE hosts a new member: Étienne Renault (2011-10-03)

From LRDE

Revision as of 14:10, 16 September 2013 by Bot (talk | contribs) (Created page with "{{News |title=The LRDE hosts a new member: Étienne Renault |subtitle=Étienne Renault has been graduated in real-time and distributed systems and he is inter...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title The LRDE hosts a new member: Étienne Renault
Sub-Title Étienne Renault has been graduated in real-time and distributed systems and he is interested in formal methods and model checking for distributed
Date 2011-10-03