Giters

harmim / vut-ata-project2

Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

testingdynamic-analysisataautomated-testingvutvut-fitrun-time-verificationfinite-automataltl-formulas

Automatizované testování a dynamická analýza - Projekt

Implementace monitoru pro RV - Řízení vozíku v robotické továrně

Autor: Dominik Harmim harmim6@gmail.com

About

Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně

testingdynamic-analysisataautomated-testingvutvut-fitrun-time-verificationfinite-automataltl-formulas

Languages

Language:Python 97.5%Language:Makefile 2.5%