Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Torres Boigues, Ismael"'
Autor:
Torres Boigues, Ismael
Publikováno v:
O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)
Universitat Oberta de Catalunya (UOC)
El sector portuario es uno de los sectores industriales más competitivos a nivel internacional y es el encargado de transportar más del 80% de las mercancías a nivel mundial. Pese al gran volumen de negocio, los márgenes económicos son muy bajos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b18a1fd3dd4830724987e582dd002e18
http://hdl.handle.net/10609/127054
http://hdl.handle.net/10609/127054
Autor:
Pastor Ricos, Fernando, Aho, P.K., Vos, T.E.J., Torres Boigues, Ismael, Calas Blasco, Ernesto, Martınez Martınez, Hector, Tiziana, Margaria, Bernhard, Steffen
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles-9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles ISBN: 9783030613617
ISoLA (1)
Pastor Ricos, F, Aho, P K, Vos, T E J, Torres Boigues, I, Calas Blasco, E & Martınez Martınez, H 2020, Deploying TESTAR to enable remote testing in an industrial CI pipeline : a case-based evaluation . in M Tiziana & S Bernhard (eds), Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles . 1 edn, vol. 12476, Springer International Publishing AG, Theoretical Computer Science and General Issues (LNCS subseries), vol. 12476, pp. 543-557, 9th International Symposium on Leveraging Applications of Formal Methods, Rhodes, Greece, 20/10/20 . https://doi.org/10.1007/978-3-030-61362-4_31
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 12476(1), 543-557
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles ISBN: 9783030613617
ISoLA (1)
Pastor Ricos, F, Aho, P K, Vos, T E J, Torres Boigues, I, Calas Blasco, E & Martınez Martınez, H 2020, Deploying TESTAR to enable remote testing in an industrial CI pipeline : a case-based evaluation . in M Tiziana & S Bernhard (eds), Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles . 1 edn, vol. 12476, Springer International Publishing AG, Theoretical Computer Science and General Issues (LNCS subseries), vol. 12476, pp. 543-557, 9th International Symposium on Leveraging Applications of Formal Methods, Rhodes, Greece, 20/10/20 . https://doi.org/10.1007/978-3-030-61362-4_31
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 12476(1), 543-557
[EN] Companies are facing constant pressure towards shorter release cycles while still maintaining a high level of quality. Agile development, continuous integration and testing are commonly used quality assurance techniques applied in industry. Incr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6a1d1fe183025c61f811d6c6051d75e
Autor:
Torres Boigues, Ismael
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
[ES] En el ámbito de la computación Ubicua y mas en concreto en el de las viviendas inteligentes, las posibilidades de interactuar, con los elementos/servicios que nos rodean, son casi infinitas y no existen reglas prestablecidas. Existen varios es
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::08565afc887db87d007d3a7667ecf9ae
https://hdl.handle.net/10251/18199
https://hdl.handle.net/10251/18199
Autor:
Mansanet Benavent, Ignacio, Fons Cors, Joan Josep, Torres Boigues, Ismael, Pelechano Ferragud, Vicente
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
Actualmente existe una gran diversidad de plataformas, entendiendo como plataforma a la combinación de características hardware y software, donde la cantidad de dispositivos crece día a día ofreciendo nuevos escenarios de interacción persona-ord
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cd1778d7320210a73db63854e540b718
http://hdl.handle.net/10251/47262
http://hdl.handle.net/10251/47262