共 18 条
- [1] Aalst W. v. d., 2004, COOPERATIVE INFORM S
- [2] [Anonymous], 2001, MODEL CHECKING
- [3] Antonio G., 2014, MAPA RUTA TECNOLOGIC
- [4] Berard B., 1999, SYSTEMS SOFTWARE VER
- [5] Chicano, 2007, THESIS
- [6] Del Pino, 2015, CUANDO BIG DATA INTE
- [7] Eshuis R, 2002, ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, P166, DOI 10.1109/ICSE.2002.1007965
- [8] Foster H., 2004, P INT C WEB SERV SAN
- [9] Gutierrez Garcia J, 2000, THESIS
- [10] Heitmeyer Constance., 2006, Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55, SCS '05, V55, P95