LTSE
Стан проєкту: НевідомоThe Labelled Transition Systems Extractor tool project
- Досліджуване ПЗ або обладнання
- Тип роботи
- Основний публічний репозиторій
- github.com/lucioduarte/ltse
Проєкти впорядковано за останньою зафіксованою кількістю зірок репозиторію. Зірки показують зацікавленість, а не поступ роботи. Відсутні значення залишаються невідомими.
Про проєкт і його завдання
The Labelled Transition Systems Extractor tool project
Можливість долучитися
Правила участі невідомі
- Правила використання ШІ
- Не зазначено
Системи учасників за документацією
Середовище учасника не описано
Заявлений прогрес
Прогрес не опубліковано
Вихідний код, збирання та релізи
- Відкрити репозиторій · github.comgithub.com/lucioduarte/ltse