Hantar Perisian

Atur cara mengikut www.techjava.de/projects/etla-plugin/

  • eTLA Percuma

    TLA + Eclipse IDE plugin. Integrasi bahasa definisi formal 'Logik Sementara Tindakan' untuk menentukan sistem dalam IDE Gerhana