Most Influential Paper Award SPLC 2020

- EN - FR
Patrick Heymans et Pierre-Yves Schobbens, professeurs à la Faculté d'informatique, et leurs collègues se sont vus décerner le "Most Influential Paper Award" pour leur papier intitulé "Model checking lots of systems: efficient verification of temporal properties in software product lines". Les résultats de cette recherche ont été présentés à la conférence SPLC 2020 (ACM International Systems and Software Product Line Conference), qui s'est déroulée du 19 au 23 octobre 2020.
account creation

TO READ THIS ARTICLE, CREATE YOUR ACCOUNT

And extend your reading, free of charge and with no commitment.