Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Auger, Cédric"'
Autor:
Auger, Cédric
Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d’avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discre
Externí odkaz:
http://www.theses.fr/2013PA112018/document
We propose a framework to build formal developments for robot networks using the COQ proof assistant, to state and to prove formally various properties. We focus in this paper on impossibility proofs, as it is natural to take advantage of the COQ hig
Externí odkaz:
http://arxiv.org/abs/1306.4242
Publikováno v:
International Symposium on Distributed Computing (DISC2013)
International Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2
International Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2
International audience; We present a formailzation of impossibility results in a robot framework. Extended version in SSS 2013.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::253609f343894284a3dc7cd9d1b1ee3b
https://hal.archives-ouvertes.fr/hal-01126335
https://hal.archives-ouvertes.fr/hal-01126335