Manuel Clavel

发表

Miguel Palomino, Manuel Clavel, 2005 .
Francisco Durán, Manuel Clavel, Narciso Martí-Oliet, 2000, WRLA.
Manuel Clavel, Vlad Rusu, 2007 .
Adrián Riesco, Miguel Palomino, Manuel Clavel, 2006, J. Univers. Comput. Sci..
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2007, CALCO.
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
David A. Basin, Manuel Clavel, Carlos Cotrini Jiménez, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.
Manuel Clavel, Marina Egea, Miguel Angel García de Dios, 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Manuel Clavel, Marina Egea, Carolina Dania, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Manuel Clavel, Hoang Nguyen Phuoc Bao, M. Clavel, 2021, SN Computer Science.
Manuel Clavel, Hoang Nguyen Phuoc Bao, M. Clavel, 2020, J. Object Technol..
Martin Gogolla, Jordi Cabot, Tony Clark, 2010, MoDELS Workshops.
Francisco Durán, José Meseguer, Mark-Oliver Stehr, 1999, World Congress on Formal Methods.
Martin Gogolla, Jordi Cabot, Tony Clark, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2019, All About Maude.
David A. Basin, Manuel Clavel, Marina Egea, 2010, ESSoS.
David A. Basin, Manuel Clavel, Marina Egea, 2011, SACMAT '11.
José Meseguer, Manuel Clavel, Joe Hendrix, 2005, RTA.
Viviane Torres da Silva, Manuel Clavel, Marina Egea, 2008, ECMDA-FA.
Francisco Durán, José Meseguer, Miguel Palomino, 2007, All About Maude.
Manuel Clavel, Hoang Nguyen Phuoc Bao, M. Clavel, 2019, OCL@MoDELS.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Francisco Durán, José Meseguer, Patrick Lincoln, 2000, FASE.
Patrick Lincoln, Steven Eker, Manuel Clavel, 2001 .
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
Manuel Clavel, José Meseguer, 2002, Theor. Comput. Sci..
Manuel Clavel, Miguel Angel García de Dios, Carolina Dania, 2015, APCCM.
David A. Basin, Manuel Clavel, Marina Egea, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
Manuel Clavel, Carolina Dania, 2013, OCL@MoDELS.
José Meseguer, David A. Basin, Manuel Clavel, 2000, FSTTCS.
David A. Basin, Manuel Clavel, Marina Egea, 2011, FOSAD.
Miguel Palomino, Narciso Martí-Oliet, Manuel Clavel, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.
Viviane Torres da Silva, Manuel Clavel, Marina Egea, 2007, JISBD.
Patrick Lincoln, Steven Eker, Manuel Clavel, 1998, WRLA.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
David A. Basin, Manuel Clavel, Marina Egea, 2007, MODELS'07.
Narciso Martí-Oliet, Patrick Lincoln, Steven Eker, 2002, Theor. Comput. Sci..
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Manuel Clavel, Carolina Dania, Carolina Dania, 2014, 2014 Theoretical Aspects of Software Engineering Conference.
Manuel Clavel, M. Clavel, 2003, WRS.
Narciso Martí-Oliet, Patrick Lincoln, Steven Eker, 2000, WRLA.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
José Meseguer, Manuel Clavel, J. Meseguer, 1996 .
Manuel Clavel, Marina Egea, Miguel Angel García de Dios, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
David A. Basin, Manuel Clavel, Marina Egea, 2009, Inf. Softw. Technol..
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
David A. Basin, Manuel Clavel, Marina Egea, 2014, IEEE Transactions on Software Engineering.
José Meseguer, Santiago Escobar, Carolyn L. Talcott, 2009, RTA.
Francisco Durán, José Meseguer, Miguel Palomino, 2007, All About Maude.
Francisco Durán, Adrián Riesco, José Meseguer, 2007, All About Maude.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2003, RTA.
Santiago Escobar, Narciso Martí-Oliet, Carolyn L. Talcott, 2015, Logic, Rewriting, and Concurrency.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2000, All About Maude.
Manuel Clavel, Egea Marina, Garcia de Dios Miguel Angel, 2008 .
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Thomas Heyman, Riccardo Scandariato, Kristian Beckers, 2013 .
David A. Basin, Manuel Clavel, Miguel Angel García de Dios, 2014, Engineering Secure Future Internet Services and Systems.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
José Meseguer, Manuel Clavel, J. Meseguer, 1996, WRLA.
Narciso Martí-Oliet, Manuel Clavel, Miguel Palomino, 2004, AMAST.
Narciso Martí-Oliet, Patrick Lincoln, Steven Eker, 1999, RTA.
Manuel Clavel, Hoang Nguyen Phuoc Bao, M. Clavel, 2019, FDSE.
Manuel Clavel, Hoang Nguyen Phuoc Bao, 2021, SN Comput. Sci..
Viviane Torres da Silva, Manuel Clavel, Marina Egea, 2007 .
Manuel Clavel, Marina Egea, M. Clavel, .
Manuel Clavel, Marina Egea, David Basin, 2013 .
José Meseguer, David A. Basin, Manuel Clavel, 2004, TOCL.