Open AccessVérification formelle et robots mobiles
Author(s) -
Béatrice Bérard,
Laure Millet,
Maria Potop-Butucaru,
Yann Thierry-Mieg,
Sébastien Tixeuil
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - correctness , computer science , asynchronous communication , protocol (science) , mobile robot , distributed computing , robot , simple (philosophy) , mathematical proof , petri net , formal methods , model checking , programming language , computer network , artificial intelligence , medicine , philosophy , alternative medicine , geometry , mathematics , epistemology , pathology