eTLA 2.1.0

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos

Sobre eTLA

Plugin IDE do Eclipse TLA+. Integração da linguagem de definição formal 'Lógica Temporal de Ações' para especificar sistemas no Eclipse IDE