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

From LRDE

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