Home
>
About LRI
>
Personnel
> LALLALI Mounir
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
Mr LALLALI Mounir
Warning: this member left the laboratory on 31/08/2010
ATER Post-Doc
Université Paris-Saclay
Formal Testing and System Exploration
Tel :
Fax :
Office :
Personal web page :
Email :
Mounir.Lallali@lri.
Research activities
-
Verification
-
Software Testing
-
Design
-
Formal Methods for Software Engineering
