MARIA INMACULADA
MEDINA BULO
Catedrática de Universidad
Frankfurt University of Applied Sciences
Francfort, AlemaniaPublicaciones en colaboración con investigadores/as de Frankfurt University of Applied Sciences (1)
2021
-
Model Translation from Papyrus-RT into the nuXmv Model Checker
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)