FETI
Related papers: 1
Top Researchers
Top Cited Papers
Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy
Abdullah Al Mamun, Christian Berger, Jörgen Hansson
Citations: 3 • 2014