To cite this version : Dieumegard, Arnaud and Ge, Ning and Jenn, Eric Event-B at Work: some Lessons Learnt from an Application to a Robot Anti-Collision Function. (2017) In: NFM (9th NASA Formal Methods Symposium) Formal Methods Symposium, 16 May 2017 - 18 May 2017 (Moffett Field, United States).
O
pen
A
rchive
T
OULOUSE
A
rchive
O
uverte (
OATAO
)
OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible.This is an author-deposited version published in : http://oatao.univ-toulouse.fr/ Eprints ID : 18237
To link to this article : DOI : 10.1007/978-3-319-57288-8_24 URL : http://dx.doi.org/10.1007/978-3-319-57288-8_24
Any correspondence concerning this service should be sent to the repository administrator: [email protected]
