
Registered user since Tue 19 Sep 2017
Name:Javier Camara
Country:Spain
Affiliation:University of Málaga
Personal website:http://www.javicamara.com
Research interests:Self-adaptation, applied formal methods, software architecture
Contributions
ASE 2021 | Evolutionary-Guided Synthesis of Verified Pareto Optimal Policies | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2021-profile
View general profile
View general profile