Zobrazeno 1 - 10
of 122
pro vyhledávání: '"Richard Banach"'
Autor:
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ú
Publikováno v:
Sensors, Vol 19, Iss 19, p 4350 (2019)
Environment perception is crucial for the safe navigation of vehicles and robots to detect obstacles in their surroundings. It is also of paramount interest for navigation of human beings in reduced visibility conditions. Obstacle avoidance systems t
Externí odkaz:
https://doaj.org/article/50d0ec42115645efb05ae6861e859422
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 121-138 (2011)
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The dif
Externí odkaz:
https://doaj.org/article/97f5952210ae4e529f4927ec59d1c1a2
Autor:
Richard Banach
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 32:1-69
Refinement of formal system models towards implementation has been a mainstay of system development since the inception of formal and Correct by Construction approaches to system development. However, pure refinement approaches do not always deal flu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e3a41248b1113031cb71a8c922a834a4
https://doi.org/10.1145/3534116
https://doi.org/10.1145/3534116
Publikováno v:
2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d0742b328401951ef6a8389bc6e612b
https://doi.org/10.1109/iceccs54210.2022.00023
https://doi.org/10.1109/iceccs54210.2022.00023
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783031172434
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::433766d9f61609340502c8db2258fd5a
https://doi.org/10.1007/978-3-031-17244-1_15
https://doi.org/10.1007/978-3-031-17244-1_15
Publikováno v:
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783031212123
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c39352e418f46baaf32b9f758c15da6
https://doi.org/10.1007/978-3-031-21213-0_8
https://doi.org/10.1007/978-3-031-21213-0_8
Publikováno v:
Journal of Software: Evolution and Process. 33
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f682d4bdd31cbe068baec2075fca7a0
https://doi.org/10.1002/smr.2383
https://doi.org/10.1002/smr.2383
Autor:
Huibiao Zhu, Richard Banach
Publikováno v:
Logic, Computation and Rigorous Methods ISBN: 9783030760199
Logic, Computation and Rigorous Methods
Logic, Computation and Rigorous Methods
In view of the increasing importance of cyber-physical systems, and of their correct design, the Abstract State Machine (ASM) framework is extended to include continuously varying quantities as well as the conventional discretely changing ones. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c9178c144230886c78cabede8d24064b
https://doi.org/10.1007/978-3-030-76020-5_3
https://doi.org/10.1007/978-3-030-76020-5_3
Autor:
Richard Banach, Huibiao Zhu
Publikováno v:
Journal of Software: Evolution and Process. 33
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::652654d3251808da4a1c9f38dcda1dff
https://doi.org/10.1002/smr.2301
https://doi.org/10.1002/smr.2301