Francisco Dur\'an (Universidad de M\'alaga)

Identifiers

• name variant Francisco Dur\'an (Universidad de M\'alaga) 0.60 · backfill

Papers (3)

1. Tracing Properties of UML and OCL Models with Maude cs.SE · 2011 · author #1
2. Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies cs.SE · 2011 · author #1
3. Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering cs.SE · 2011 · author #1

Mentions

• 1107.0068 #1 · backfill · confidence 0.70 Francisco Dur\'an (Universidad de M\'alaga)
• 1107.0066 #1 · backfill · confidence 0.70 Francisco Dur\'an (Universidad de M\'alaga)
• 1106.5962 #1 · backfill · confidence 0.70 Francisco Dur\'an (Universidad de M\'alaga)

Frequent Coauthors

• France) 1 shared papers
• Jos\'e E. Rivera (Universidad de M\'alaga) 1 shared papers
• Manuel Rold\'an (Universidad de M\'alaga) 1 shared papers
• Martin Gogolla (University of Bremen) 1 shared papers
• Peter Csaba \"Olveczky (University of Oslo) 1 shared papers
• Rennes 1 shared papers
• Vlad Rusu (IRISA-INRIA 1 shared papers