المؤلفون: Julie Foucault, Suzanne Lesecq, Gabriela Dudnik, Marc Correvon, Rosemary O’Keeffe, Vincenza Di Palma, Marco Passoni, Fabio Quaglia, Laurent Ouvry, Steven Buckley, Jean Herveg, Andrea di Matteo, Tiana Rakotovao, Olivier Debicki, Nicolas Mareau, John Barrett, Susan Rea, Alan McGibney, François Birot, Hugues de Chaumont, Richard Banach, Joseph Razavi, Cian Ó’Murchú

المصدر: Sensors, Vol 19, Iss 19, p 4350 (2019)

مصطلحات موضوعية: ultrasound, lidar, ultra-wideband radar, environment perception, data fusion, portable device, smart system, visually impaired and blind (vib), wearable, portable, Chemical technology, TP1-1185

وصف الملف: electronic resource

Relation: https://www.mdpi.com/1424-8220/19/19/4350; https://doaj.org/toc/1424-8220

URL الوصول: https://doaj.org/article/50d0ec42115645efb05ae6861e859422

المؤلفون: Wen Su, Huibiao Zhu, Richard Banach, Runlei Huang

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 121-138 (2011)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1106.4097v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/97f5952210ae4e529f4927ec59d1c1a2

المؤلفون: Richard Banach

المصدر: ACM Transactions on Software Engineering and Methodology. 32:1-69

مصطلحات موضوعية: Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e3a41248b1113031cb71a8c922a834a4
https://doi.org/10.1145/3534116

المؤلفون: Ran Li, Huibiao Zhu, Richard Banach

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::34871a8bb58b78c820f5f4194fa71347
https://doi.org/10.2139/ssrn.4385787

المؤلفون: Ran Lil, Huibiao Zhu, Richard Banach

المصدر: 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4d0742b328401951ef6a8389bc6e612b
https://doi.org/10.1109/iceccs54210.2022.00023

المؤلفون: Ran Li, Huibiao Zhu, Richard Banach

المصدر: Formal Methods and Software Engineering ISBN: 9783031172434

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::433766d9f61609340502c8db2258fd5a
https://doi.org/10.1007/978-3-031-17244-1_15

المؤلفون: Ran Li, Huibiao Zhu, Richard Banach

المصدر: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783031212123

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4c39352e418f46baaf32b9f758c15da6
https://doi.org/10.1007/978-3-031-21213-0_8

المؤلفون: Suzanne Lesecq, Olivier Debicki, Richard Banach, Joseph Razavi

المصدر: Journal of Software: Evolution and Process. 33

مصطلحات موضوعية: Computer science, 020204 information systems, Computer graphics (images), 0202 electrical engineering, electronic engineering, information engineering, Dependability, 020207 software engineering, 02 engineering and technology, Prism, Formal methods, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3f682d4bdd31cbe068baec2075fca7a0
https://doi.org/10.1002/smr.2383

المؤلفون: Huibiao Zhu, Richard Banach

المصدر: Logic, Computation and Rigorous Methods ISBN: 9783030760199
Logic, Computation and Rigorous Methods

مصطلحات موضوعية: Computer science, Formalism (philosophy), Semantics (computer science), Mode (statistics), Abstract state machines, Control engineering, Context (language use), Tennis ball, Operational semantics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c9178c144230886c78cabede8d24064b
https://doi.org/10.1007/978-3-030-76020-5_3

المؤلفون: Richard Banach, Huibiao Zhu

المصدر: Journal of Software: Evolution and Process. 33

مصطلحات موضوعية: Computer science, Language evolution, Cyber-physical system, Computer security, computer.software_genre, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::652654d3251808da4a1c9f38dcda1dff
https://doi.org/10.1002/smr.2301