The LRDE hosts a new member: Étienne Renault (2011-10-03)
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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 |