Diana Borrego is an author at Universidad de Sevilla specializing in business process modeling, formal methods, and verification.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSoftware AnalysisFormal VerificationSoftware EngineeringBusiness Process ModelingManagementData Science
Publications per year
2013–2015
3
3
Diagnosing correctness of semantic workflow models
Diana Borrego, Rik Eshuis, María Teresa Gómez-López et al. · Data & Knowledge Engineering · 2013 · 26 citations · Full text
Rows per page
1–3 of 3