INSPEX: Optimize Range Sensors for Environment Perception as a Portable System
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)
Published in Sensors (Basel, Switzerland) (08.10.2019)
Get full text
Journal Article
The landing gear system in multi-machine Hybrid Event-B
Banach, Richard
Published in International journal on software tools for technology transfer (01.04.2017)
Published in International journal on software tools for technology transfer (01.04.2017)
Get full text
Journal Article
Formalising the Continuous/Discrete Modeling Step
Banach, Richard, Zhu, Huibiao, Su, Wen, Huang, Runlei
Published in Electronic proceedings in theoretical computer science (17.06.2011)
Published in Electronic proceedings in theoretical computer science (17.06.2011)
Get full text
Journal Article
Core Hybrid Event-B I: Single Hybrid Event-B machines
Banach, Richard, Butler, Michael, Qin, Shengchao, Verma, Nitika, Zhu, Huibiao
Published in Science of computer programming (01.07.2015)
Published in Science of computer programming (01.07.2015)
Get full text
Journal Article
Translating and verifying Cyber–Physical systems with shared-variable concurrency in SpaceEx
Li, Ran, Zhu, Huibiao, Banach, Richard
Published in Internet of things (Amsterdam. Online) (01.10.2023)
Published in Internet of things (Amsterdam. Online) (01.10.2023)
Get full text
Journal Article
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines
Banach, Richard, Butler, Michael, Qin, Shengchao, Zhu, Huibiao
Published in Science of computer programming (01.06.2017)
Published in Science of computer programming (01.06.2017)
Get full text
Journal Article
Formal methods by stealth: The INSPEX experience
Banach, Richard, Razavi, Joseph, Debicki, Oivier, Lesecq, Suzanne
Published in Journal of software : evolution and process (01.12.2021)
Published in Journal of software : evolution and process (01.12.2021)
Get full text
Journal Article