Picture for Jörgen Hansson

Jörgen Hansson

Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy

Add code
Jan 16, 2014
Viaarxiv icon