| Лицензия |
Лицензия |
|---|---|
| Группа | Группаmt.edu.um.cs.rv.valour |
| Идентификатор | Идентификаторvalour |
| Последняя версия | Последняя версия1.0.2 |
| Дата | Дата |
| Тип | Типeclipse-plugin |
| Описание |
ОписаниеValour: A Runtime Verification Language
|
| Имя Файла | Размер |
|---|---|
| valour-1.0.2.pom | |
| valour-1.0.2.jar | 759 KB |
| valour-1.0.2-p2metadata.xml | 3 KB |
| valour-1.0.2-p2artifacts.xml | 524 bytes |
| Обзор |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.eclipse.xtend : org.eclipse.xtend.lib | jar | 2.9.2 |
| mt.edu.um.cs.rv : events | jar | 1.0.2 |
| mt.edu.um.cs.rv : monitors | jar | 1.0.2 |
| mt.edu.um.cs.rv : event-manager | jar | 1.0.2 |