Explore projects

Adaptation of Razvan Lica's xia4ids@main:433d9eb (https://github.com/rlica/xia4ids) into a distributable library

A java project that generates tests for RabbitMQFMU based on the dot file exported from tla+.

Web client for a cross-compliation service for FMUs

ROS2 device drivers for on-board RPi4. Steering motors, 2D Lidar, IMU

Digital Testbed and Benchmark Development

Data related to the deliverable of the bachelor project with the title "Towards a Digital Twin for an Autonomous Robot"

Advanced Augmented Reality Project