TY  - RPRT
TI  - Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy
AU  - Md Abdullah Al Mamun
AU  - Christian Berger
AU  - Jörgen Hansson
PY  - 2014
UR  - https://arxiv.org/abs/1401.3985
ID  - 1401.3985
ER  -