1. Repositori Institucional (O2)

Buscar


Filtros actuales:

Comenzar nueva busqueda
Añadir filtros:

Usa los filtros para afinar la busqueda.

 | 
Resultados 1-10 de 10.
  • Anterior
  • 1
  • Siguiente
Registros encontrados:
Fecha de publicaciónTítuloAutor(es)
2007-01-02Tool Support for Model Checking of Web application designsBrambilla, Marco; Cabot, Jordi; Moreno Vergara, Nathalie; Universitat Oberta de Catalunya (UOC); Universidad de Málaga; Politecnico di Milano
2009-01-02Verifying UML/OCL operation contractsCabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya (UOC)
2006-01-02Incremental Evaluation of OCL ConstraintsCabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
2009-06-10A Framework for verifying UML behavioral modelsPlanas, Elena; Universitat Oberta de Catalunya (UOC). Estudis d'Informàtica, Multimèdia i Telecomunicació
2008-12SR-1: A simulation-based algorithm for the capacitated vehicle routing problemFaulin, Javier; Gilibert Sunyé, Miguel; Juan, Angel A.; Vilajosana, Xavier; Ruiz, Rubén
2007-12J-SAEDES: A Java-based simulation software to improve reliability and availability of computer systems and networksJuan, Angel A.; Faulin, Javier; Marquès Puig, Joan Manuel; Sorroche Montellano, Mateo
2009-12Simulation education in the Internet age: some experiences on the use of pure online and blended learning modelsFonseca Casas, Pau; Juan, Angel A.; Plà-Aragonés, Lluís M.; Rodríguez Sánchez, Sara V.; Faulin, Javier
2008-01-02Supporting Effective Monitoring and Knowledge Building in Online Collaborative Learning SystemsCaballé, Santi; Juan, Angel A.; XHAFA, FATOS; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
2005-12SAEDES++: determining complex system availability via simulationFaulin, Javier; Juan, Angel A.; Bargueño Fariñas, Vicente; Serrat Piè, Carles
2009-12Applications of discrete-event simulation to reliability and availability assessment in civil engineering structuresJuan, Angel A.; Monteforte, Arai; Ferrer, Albert; Serrat Piè, Carles; Faulin, Javier

Opciones relacionadas