by Foucault, Julie, Lesecq, Suzanne, Dudnik, Gabriela, Correvon, Marc, O’Keeffe, Rosemary, Di Palma, Vincenza, Passoni, Marco, Quaglia, Fabio, Ouvry, Laurent, Buckley, Steven, Herveg, Jean, di Matteo, Andrea, Rakotovao, Tiana, Debicki, Olivier, Mareau, Nicolas, Barrett, John, Rea, Susan, McGibney, Alan, Birot, François, de Chaumont, Hugues, Banach, Richard, Razavi, Joseph, Ó’Murchú, Cian
Published in Sensors (Basel, Switzerland) (08.10.2019)

by Banach, Richard
Published in Science of computer programming (01.01.2024)

by Banach, Richard
Published in Concurrency and computation (10.01.2021)

by Banach, Richard
Published in Science of computer programming (01.05.2020)

by Banach, Richard
Published in Science of computer programming (01.05.2018)

by Banach, Richard
Published in International journal on software tools for technology transfer (01.04.2017)

by Banach, Richard
Published in Formal aspects of computing (01.01.2019)

by Banach, Richard, Zhu, Huibiao, Su, Wen, Huang, Runlei
Published in Electronic proceedings in theoretical computer science (17.06.2011)

by Banach, Richard
Published in Abstract State Machines, Alloy, B, TLA, VDM, and Z

by Banach, Richard, Zhu, Huibiao
Published in Journal of software : evolution and process (01.09.2021)

by Banach, Richard
Published in Model-Based Safety and Assessment

by Li, Ran, Zhu, Huibiao, Banach, Richard
Published in Journal of logical and algebraic methods in programming (01.06.2024)

by Banach, Richard, Butler, Michael, Qin, Shengchao, Verma, Nitika, Zhu, Huibiao
Published in Science of computer programming (01.07.2015)

by Li, Ran, Zhu, Huibiao, Banach, Richard
Published in Internet of things (Amsterdam. Online) (01.10.2023)

by Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia
Year of Publication 2012

by Banach, Richard, Butler, Michael, Qin, Shengchao, Zhu, Huibiao
Published in Science of computer programming (01.06.2017)

by Banach, Richard
Published in Abstract State Machines, Alloy, B, TLA, VDM, and Z

by Banach, Richard
Published in Formal aspects of computing (01.01.2011)

by Banach, Richard, Razavi, Joseph, Debicki, Oivier, Lesecq, Suzanne
Published in Journal of software : evolution and process (01.12.2021)

by Banach, Richard, Bozzano, Marco
Published in Formal aspects of computing (01.07.2013)