Concepedia
1
Publications
26
Citations
H-Index
2012
Active since
Affiliations
Centre National de la Recherche Scientifique(Current)
Felipe Lalanne Rojas is an author at Centre National de la Recherche Scientifique.
Publications per year
2012–2012
A Logic-based Passive Testing Approach for the Validation of Communicating Protocols
Xiaoping Che, Felipe Lalanne Rojas, Stéphane Maag · 2012 · 26 citations · Full text
Rows per page
1–1 of 1